Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing-Reference-Cited by-同舟云学术

Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing

Published:2004 Issue: Volume: Page:351-365
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bucchiarone A.,Muccini H.,Pelliccione P.,Pierini P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30233-9_26

Reference24 articles.

1. Ammann, P., Black, P.: Abstracting formal specifications to generate software tests via model checking. In: Proceedings of the 18th Digital Avionics Systems Conference (DASC 1999), October 1999, vol. 2, p. 10.A.6. IEEE, Los Alamitos (1999)

2. Bertolino, A., Inverardi, P.: Architecture-based software testing. In: Proc. ISAW 1996 (October 1996)

3. Bertolino, A.: Software Testing. In: SWEBOK: Guide to the Software Engineering Body of Knowledge, IEEE

4. Buchi, R.: On a decision method in restricted second order arithmetic. In: Proc. of the International Congress of Logic, Methodology and Philosophy of Science, pp. 1–11. Standford University Press, Stanford (1960)

5. Callahan, J., Schneider, F., Easterbrook, S.: Automated software testing using modelchecking. In: Proceedings 1996 SPIN Workshop (August 1996)

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

1. Software architecture-based regression testing;Journal of Systems and Software;2006-10

2. Towards software architecture-based regression testing;ACM SIGSOFT Software Engineering Notes;2005-07

3. An Architecture-Centric Approach for Producing Quality Systems;Lecture Notes in Computer Science;2005

4. TeStor: Deriving Test Sequences from Model-Based Specifications;Component-Based Software Engineering;2005

5. Architectural Verification of Black-Box Component-Based Systems;Rapid Integration of Software Engineering Techniques