Behavior-based model construction

International Journal on Software Tools for Technology Transfer

Volumn 6, Issue 1, 2004, Pages 4-14

  Hungar, Hardi ^a,b   Steffen, Bernhard ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

^b OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

Author keywords

Abstraction; Automata learning; Model checking; Testing

Indexed keywords

ABSTRACT INTERPRETATIONS; ABSTRACTION; AUTOMATA LEARNING; BEHAVIOR-BASED MODEL; LEARNING TECHNIQUES; UNDERLYING SYSTEMS; VALIDATION AND VERIFICATION; VERIFICATION- , MODELING;

ABSTRACTING; AUTOMATA THEORY; LEARNING SYSTEMS; TESTING;

MODEL CHECKING;

EID: 84896692918     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-004-0139-8     Document Type: Article

References (21)

1. Angluin D (1987) Learning regular sets from queries and counterexamples. Inf Comput 2(75):87-106
2. Chow TS (1978) Testing software design modeled by finite-state machines. IEEE Trans Softw Eng 4(3):178-187
3. Emerson EA (1990) Temporal and modal logic. In: van Leeuwen J (ed) Handbook of theoretical computer science. Elsevier, Amsterdam
4. Giacobazzi R, Ranzato F, Scozzari F (2000) Making abstract interpretations complete. J ACM 47(2):361-416
5. Groce A, Peled D, Yannakakis M (2002) Adaptive model checking. In: Katoen J-P, Stevens P (eds) Proceedings 8th international conference for tools and algorithms for the construction and analysis of systems, Grenoble, France, April 8-12, 2002. Lecture notes in computer science, vol 2280. Springer, Berlin Heidelberg New York, pp 357-370
6. Hagerer A, Hungar H, Niese O, Steffen B (2002) Model generation by moderated regular extrapolation. In: Kutsche R, Weber H (eds) Proceedings of the 5th international conference on fundamental approaches to software engineering (FASE'02), Grenoble, France, April 8-12, 2002. Lecture notes in computer science, vol 2306. Springer, Berlin Heidelberg New York, pp 80-95
7. Hagerer A, Margaria T, Niese O, Steffen B, Brune G, Ide H (2001) Efficient regression testing of CTI-systems: testing a complex call-center solution. Annual review of communication, vol 55. International Engineering Consortium (IEC), Chicago
8. Hopcroft JE, Ullman JD (1979) Introduction to automata theory, languages, and computation. Addison-Wesley, Reading, MA
9. Hungar H, Niese O, Steffen B (2003) Domain-specific optimization in automata learning. In: Somenzi F, Hunt WA (eds) Proceedings of the 5th international conference on computer aided verification (CAV'03), Boulder, Colorado, USA, July 8-12, 2003. Lecture notes in computer science, vol 2725. Springer, Berlin Heidelberg New York, pp 315-327
10. Hungar H, Steffen B (2003) Behaviour-based model construction. In: Zuck LD, Attie PC, Cortesi A, Mukhopadhyay S (eds) Proceedings of the 4th international conference on verification, model checking and abstract interpretation (VM-CAI'03), New York, USA, Jan. 9-11, 2003. Lecture notes in computer science, vol 2575. Springer, Berlin Heidelberg New York, pp 5-19
11. Kearns MJ, Vazirani UV (1994) An introduction to computational learning theory. MIT Press, Cambridge, MA
12. Lang KJ, Pearlmutter BA, Price RA (1998) Results of the Abbadingo one DFA learning competition and a new evidence-driven state merging algorithm. In: Proceedings of the 4th international colloquium on grammatical inference - ICGI'98. Lecture notes in artificial intelligence, vol 1433. Springer, Berlin Heidelberg New York, pp 1-12
13. Lee D, Yannakakis M (1996) Principles and methods of testing finite state machines - a survey. Proc IEEE 84:1090-1123
14. Mazurkiewicz A (1987) Trace theory. In: Brauer W et al (eds) Petri nets, applications and relationship to other models of concurrency. Lecture notes in computer science, vol 255. Springer, Berlin Heidelberg New York, pp 279-324
15. Moore EF (1956) Gedanken-experiments on sequential machines. Ann Math Stud Automata Stud 34:129-153
16. Niese O, Steffen B, Margaria T, Hagerer A, Brune G, Ide H (2001) Library-based design and consistency checks of system-level industrial test cases. In: Hußmann H (ed) Proceedings of the 4th international conference on fundamental approaches to software engineering (FASE'01), Genova, Italy, April 2-6, 2001. Lecture notes in computer science, vol 2029. Springer, Berlin Heidelberg New York, pp 233-248
17. Peled D, Vardi MY, Yannakakis M (1999) Black box checking. In: Wu J, Chanson ST, Gao Q (eds) Proceedings of the joint international conference on formal description techniques for distributed system and communication/protocols and protocol specification, testing and verification (FORTE/PSTV'99), Beijing, China, Oct. 5-8, 1999. Kluwer, Dordrecht, pp 225-240
18. Steffen B, Jay B, Mendler M (1992) Compositional characterization of observable program properties. Int J Theor Comput Sci Appl 26(5):403-424
19. Valiant LG (1984) A theory of the learnable. Commun ACM 27(11):1134-1142
20. Valmari A (1993) On-the-fly verification with stubborn sets. In: Proceedings of the 5th international conference on computer aided verification (CAV'93), Elounda, Greece, June 28-July 1, 1993. Lecture notes in computer science, vol 697. Springer, Berlin Heidelberg New York, pp 397-408
21. Vasilevskii MP (1973) Failure diagnosis of automata. Kiber-netika 4:98-108