Validating use-cases with the AsmL test tool

Proceedings - International Conference on Quality Software

Volumn 2003-January, Issue , 2003, Pages 238-246

  Barnett, M ^a   Grieskamp, W ^a   Schulte, W ^a   Tillmann, N ^a   Veanes, M ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC CIRCUITS; MODELING LANGUAGES;

ABSTRACT STATE MACHINE LANGUAGES; NEW COMPONENTS; TEST TOOLS; USE CASE MODEL;

MACHINE ORIENTED LANGUAGES;

EID: 84891389529     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2003.1319107     Document Type: Conference Paper

References (12)

1. Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, and Nikolai Tillmann: Testable Use Cases in the Abstract State Machine Language, in Proceedings of Asia-Pacific Conference on Quality Software (APAQS'01). December 2001.
2. AsmL for Microsoft .NET (version 2.1.5.7 or higher), Software Distribution. Containing Tools, Samples and Documentation. Downloadable at http://www.research. microsoft.com/foundations/asml.
3. Y. Gurevich: Evolving Algebra 1993: 3 Guide, in Specification and Validation Methods, Ed. E. Börger, Oxford University Press, 1995.
4. W. Grieskamp, Y. Gurevich, W. Schulte and M. Veanes, Generating Finite State Machines from Abstract State Machines, ISSTA 02, Software Engineering Notes 27(4) 112-122, ACM, 2002.
5. CTAS case study, http://www.doc.ic.ac.uk/~su2/SCESM/CS/.
6. H. Bast, K. Mehlhorn, G. Schäfer, and H.Tamaki. A heuristic for Dijkstra's algorithm with many targets and its use in weighted matching algorithms. In ESA, Lecture Notes in Computer Science, pages 242-253, 2001.
7. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In Proc. FME'93, LNCS 670, p. 268-284, Springer, 1993.
8. E. M. Clarke, Jr., O. Grumberg and D. A. Peled, Model Checking, MIT Press, 1999.
9. A. Gargantini, E. Riccobene, and S. Rinzivillo. Using Spin to Generate Tests from ASM Specifications. In Proc. Abstract State Machines 2003, LNCS, Vol 2589, pages 263-277, Springer, 2003.
10. A. Blass and Y. Gurevich. Background, reserve, and Gandy machines, in Proc. Computer Science Logic, Lecture Notes in Computer Science, Vol. 1862, pages 1-17, Springer, 2000.
11. Y. Gurevich and N. Tillmann. Partial Updates: Exploration. Journal of Universal Computer Science, 11 (7): 917-951, Springer Pub. Co, 2001.
12. Y. Gurevich and N. Tillmann. Partial Updates Exploration II. In Proc. Abstract State Machines 2003, LNCS, Vol 2589, pages 57-86, Springer, 2003.