Automated Boundary Test Generation from JML Specifications-Reference-Cited by-同舟云学术

Automated Boundary Test Generation from JML Specifications

Published:2006 Issue: Volume: Page:428-443
ISSN:0302-9743
Container-title:FM 2006: Formal Methods
language:
Short-container-title:

Author:

Bouquet Fabrice,Dadeau Frédéric,Legeard Bruno

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11813040_29.pdf

Reference21 articles.

1. 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., Jeron, T. (eds.) Formal Approaches to Testing of Software, FATES 2002 workshop of CONCUR 2002, INRIA Report, August 2002, pp. 105–120 (2002)

2. Lecture Notes in Computer Science;F. Bouquet,2005

3. Lecture Notes in Computer Science;F. Bouquet,2005

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

5. Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on java predicates. In: ISSTA 2002: Proceedings of the ACM SIGSOFT international symposium on Software testing and analysis, pp. 123–133. ACM Press, New York (2002)

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

1. Specification-based Test Case Generation for C++ Engineering Software;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01

2. Putting the semantics into semantic versioning;Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2020-11-17

3. Property-Based Test Case Generators for Free;Tests and Proofs;2019

4. JMCTest: Automatically Testing Inter-Method Contracts in Java;Testing Software and Systems;2018

5. On the synthesis of protocol state machines from contracts;Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems;2016-10-02