Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools-Reference-Cited by-同舟云学术

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools

Published:2012 Issue: Volume: Page:8-23
ISSN:0302-9743
Container-title:Testing Software and Systems
language:
Short-container-title:

Author:

Brauer Jörg,Peleska Jan,Schulze Uwe

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-34691-0_3

Reference18 articles.

1. Blackburn, M.R., Busser, R.D.: T-VEC: A Tool for Developing Critical Systems. In: Compass, pp. 237–249. IEEE Computer Society Press (1996)

2. Carver, R.H., Tai, K.C.: Replay and Testing for Concurrent Programs. IEEE Software 8(2), 66–74 (1991)

3. Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: POPL, pp. 238–252. ACM Press (1977)

4. França, R.B., Favre-Felix, D., Leroy, X., Pantel, M., Souyris, J.: Towards Formally Verified Optimizing Compilation in Flight Control Software. In: PPES. OASICS, vol. 18, pp. 5–9–68. Schloss Dagstuhl (2011)

5. Lecture Notes in Computer Science;J. Hillebrand,2011

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

1. Qualification of proof assistants, checkers, and generators: Where are we and what next?;Science of Computer Programming;2023-03

2. Complete Property-Oriented Module Testing;Testing Software and Systems;2023

3. Evaluating system-level test generation for industrial software;Proceedings of the 3rd ACM/IEEE International Conference on Automation of Software Test;2022-05-17

4. An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm;Testing Software and Systems;2020

5. MTTool: A Tool for Software Modeling and Test Generation;IEEE Access;2018