AMC: An adaptive model checker

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2404, Issue , 2002, Pages 521-525

  Groce, Alex ^a   Peled, Doron ^b   Yannakakis, Mihalis ^c  

^a Carnegie Mellon University ^*  (United States)

^b The University of Texas at Austin   (United States)

^c AVAYA LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS;

ADAPTIVE MODELING; FALSE NEGATIVES; INTERNAL STRUCTURE;

MODEL CHECKING;

EID: 84937565752     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45657-0_44     Document Type: Conference Paper

References (7)

1. D. Angluin, Learning Regular Sets from Queries and Counterexamples, Information and Computation, 75, 87-106 (1978).
2. T. S. Chow, Testing software design modeled by finite-state machines, IEEE transactions on software engineering, SE-4, 3, 1978, 178-187.
3. R. Cleaveland, J. Parrow, B. Steffen, The Concurrency Workbench: a semanticbased tool for the verification of concurrent systems, TOPLAS 15(1993), 36-72.
4. P. Godefroid, Model checking for programming languages using VeriSoft, Proc. 24thA CM Symp. on Progr. Lang. and Sys., 174-186, 1996.
5. A. Groce, D. Peled, M. Yannakakis, Adaptive Model Checking, TACAS 2002, LNCS 2280, Springer, 357-370.,
6. D. Peled, M. Y. Vardi, M. Yannakakis, Black Box Checking, FORTE/PSTV 1999, Beijing, China, 225-240.
7. M. P. Vasilevskii, Failure diagnosis of automata, Kibertetika, no 4, 1973, 98-108.