Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study-Reference-Cited by-同舟云学术

Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study

Published:2003 Issue: Volume: Page:778-795
ISSN:0302-9743
Container-title:FME 2003: Formal Methods
language:
Short-container-title:

Author:

Bouquet Fabrice,Legeard Bruno

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45236-2_42

Reference20 articles.

1. Abrial, J.-R.: The B-Book: Assigning Programs to Meaning. Cambridge University Press, Cambridge (1996)

2. Ambert, F., Bouquet, F., Chemin, S., Guenaud, S., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: BZ-TT: A tool-set for test generation from Z and B using contraint logic programming. In: Hierons, R., Jerron, T. (eds.) Formal Approaches to Testing of Software, FATES 2002 workshop of CONCUR 2002, August 2002, pp. 105–120. INRIA Report (2002)

3. Bernot, G., Gaudel, M.-C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal 6(6), 387–405 (1991)

4. Lecture Notes in Computer Science;F. Bouquet,2002

5. Carrington, D., MacColl, I., McDonald, J., Murray, L., Strooper, P.: From object- Z specifications to classbench test suites. Technical Report 98–22, SVRC – University of Queensland (1998)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Scenario-based testing using symbolic animation of B models;Software Testing, Verification and Reliability;2012-03-13

2. A Language for Test Case Refinement in the Test Template Framework;Formal Methods and Software Engineering;2011

3. Integration of verification methods for program systems;Programming and Computer Software;2009-07

4. LEIRIOS Test Generator: Automated Test Generation from B Models;B 2007: Formal Specification and Development in B;2006

5. Mastering Test Generation from Smart Card Software Formal Models;Construction and Analysis of Safe, Secure, and Interoperable Smart Devices;2005