Specification-based test generation for security-critical systems using mutations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2495, Issue , 2002, Pages 471-482

  Wimmel, Guido ^a   Jürjens, Jan ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

AutoFocus; Computer aided Software Engineering (CASE); E Commerce Systems; Formal Methods; Security Critical Systems; Test Case Generation; Test Specification; Validation and Analysis

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER AIDED SOFTWARE ENGINEERING; FORMAL METHODS; FORMAL SPECIFICATION; RANDOM NUMBER GENERATION; SECURITY OF DATA;

AUTO-FOCUS; E-COMMERCE SYSTEMS; SECURITY-CRITICAL; TEST CASE GENERATION; TEST SPECIFICATIONS; VALIDATION AND ANALYSIS;

SOFTWARE TESTING;

EID: 84948967933     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36103-0_48     Document Type: Conference Paper

References (19)

1. M. Abadi and J. Jürjens. Formal eavesdropping and its computational interpretation. In TACS’01, volume 2215of LNCS. Springer, 2001.
2. T. Aslam, I. Krsul, and E. Spafford. Use of A Taxonomy of Security Faults. In 19th National Information Systems Security Conference, Baltimore, 1996.
3. M. Broy and K. Stolen, editors. Specification and Development of Interactive Systems. Springer, 2001.
4. CEPSCO. Common Electronic Purse Specifications, 2001. Available at http://www.cepsco.com.
5. J. Dushina, M. Benjamin, and D. Geist. Semi-Formal Test Generation with Genevieve. In DAC, 2001.
6. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In FME’93, pages 268–284, 1993.
7. S. Gritzalis, D. Spinellis, and P. Georgiadis. Security protocols over open networks and distributed systems. Comp. Communic., 22(8):695–707, 1999.
8. S. Helke, T. Neustupny, and T. Santen. Automating Test Case Generation from Z Specifications with Isabelle. In ZUM’97, volume 1212 of LNCS, pages 52–71. Springer, 1997.
9. Jan Jürjens and Guido Wimmel. Security modelling for electronic commerce: The Common Electronic Purse Specifications. In First IFIP conference on e-commerce, e-business, and e-government (I3E). Kluwer, 2001.
10. Jan Jürjens and Guido Wimmel. Specification-based testing of firewalls. In Andrei Ershov 4th International Conference”Perspectives of System Informatics” (PSI’01), LNCS. Springer, 2001.
11. H. Lötzbeyer and A. Pretschner. Testing concurrent reactive systems with constraint logic programming. In 2nd Workshop on Rule-Based Constraint Reasoning and Programming, Singapore, 2000.
12. J. Offutt. Practical Mutation Testing. In 12th International Conference on Testing Computer Software, 1995.
13. J. Offutt, J. Voas, and J. Payne. Mutation Operators for Ada. Technical Report ISSE-TR-96-09, George Mason University, 1996.
14. J. Offutt, Y. Xiong, and S. Liu. Criteria for Generating Specification-based Tests. In IEEE Conf. on Engineering of Complex Computer Systems, 1999.
15. J. Peleska and M. Siegel. Test automation of safety-critical reactive systems. South African Computer Jounal, 19:53–77, 1997.
16. J. Voas and G. McGraw. Software Fault Injection: Inoculating Programs Against Errors. Wiley, 1998.
17. G. Wimmel and J. Jürjens. Specification-Based Test Generation for Security-Critical Systems Using Mutations, 2002. Long version, available at http://www4.in.tum.de/˜wimmel/.
18. G. Wimmel, H. Lötzbeyer, A. Pretschner, and O. Slotosch. Specification Based Test Sequence Generation with Propositional Logic. Journal on Software Testing Verification and Reliability, 10, 2000.
19. G. Wimmel and A. Wißpeintner. Extended description techniques for security engineering. In IFIP SEC, 2001.