Towards Property Oriented Testing-Reference-Cited by-同舟云学术

Towards Property Oriented Testing

Published:2007-07 Issue: Volume:184 Page:3-19
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Machado Patricia D.L.,Silva Daniel A.,Mota Alexandre C.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference30 articles.

1. Bernot, G., Testing against formal specifications: a theoretical view, in: TAPSOFT '91: Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2 (1991), pp. 99–119

2. CEPSCO, Common electronic purse specification, technical specification, Technical report, http://www.cepsco.org (2000)

3. Clarke, D., T. Jéron, V. Rusu and E. Zinovieva, Automated test and oracle generation for smart-card applications, in: E-SMART '01: Proceedings of the International Conference on Research in Smart Cards (2001), pp. 58–70

4. Clarke, D., T. Jéron, V. Rusu and E. Zinovieva, Stg: A symbolic test generation tool, in: TACAS '02: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2002), pp. 470–475

5. Model Checking;Clarke,1999

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

1. Exhaustive property oriented model-based testing with symbolic finite state machines;Science of Computer Programming;2024-01

2. libfsmtest An Open Source Library for FSM-Based Testing;Testing Software and Systems;2022

3. Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines;Software Engineering and Formal Methods;2021

4. Safety-complete test suites;Software Quality Journal;2018-10-22

5. Using contexts to extract models from code;Software & Systems Modeling;2015-05-03