Validating system properties exhibited in execution traces

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 517-520

  Chang, Fangzhe ^a   Ren, Jennifer ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

system testing automation; trace analysis

Indexed keywords

ABSTRACT LEVELS; BEHAVIORAL ANALYSIS; COMPLEX PROPERTIES; DOMAIN SPECIFIC LANGUAGES; EXECUTION TRACE; FUNCTIONAL PROPERTIES; LOGICAL PREDICATE; PARAMETERIZED; REAL TIME; RUN-TIME INFORMATION; SOFTWARE SYSTEMS; SYSTEM PROPERTY; SYSTEM TESTING; SYSTEM TESTING AUTOMATION; TEST SCRIPTS;

AUTOMATION; COMPUTER SOFTWARE; LINGUISTICS; PROBLEM ORIENTED LANGUAGES; QUERY LANGUAGES; REAL TIME SYSTEMS; SYSTEM THEORY;

TRACE ANALYSIS;

EID: 67650098398     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321723     Document Type: Conference Paper

References (12)

1. A. Aho. Algorithms for Finding Patterns in Strings, volume A of Handbook of theoretical computer science, chapter 5. Elsevier Science Publishers B.V., 1990.
2. J. Andrews and Y. Zhang. General test result checking with log file analysis. IEEE Transactions on Software Engineering, 29(7), 2003.
3. W. Bartussek and D. Parnas. Using traces to write abstract specifications for software modules. In 2nd Conf. of European Cooperation in Informatics, 1978.
4. L. Destailleur. AWStats log file analyzer. http://awstats.sourceforge. net/docs/awstats.pdf.
5. S. A. Ezust and G. v. Bochmann. An automatic trace analysis tool generator for Estelle specifications. ACM SIGCOMM Comp. Comm. Rev., 25(4), 1995.
6. G. Fink and M. Bishop. Property based testing: A new approach to testing for assurance. ACM SIGSOFT Software Engineering Notes, 22(4), 1997.
7. K. Larsen. Regular expressions with nested levels of back referencing form a hierarchy. Information Processing Letters, 65(4), 1998.
8. D. Libes. Writing a tcl extension in only ... 7 years. In Proc. 5th Annual Tcl/Tk Workshop '97, 1997.
9. J. McLean. Proving noninterference and functional correctness using traces. Journal of Computer Security, 1(1), 1992.
10. D. Richardson, S. Aha, and T. O'Malley. Specification-based test oracles for reactive systems. In Proc. Intl. Conf. on Software Engineering, 1992.
11. U. Sammapun, A. Easwaran, I. Lee, and O. Sokolsky. Simulation of simultaneous events in regular expressions for run-time verification. In Workshop on Runtime Verification, 2004.
12. R. Savoye. DejaGnu: The GNU testing framework. www.gnu.org/software/ dejagnu.