Modular system verification by inference, testing and reachability analysis

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

Volumn 5047 LNCS, Issue , 2008, Pages 216-233

  Groz, Roland ^a   Li, Keqin ^b   Petrenko, Alexandre ^c   Shahbaz, Muzammil ^d  

^a UNIV GRENOBLE ALPES   (France)

^b SAP Research   (France)

^c Cent de Recherche Informatique de Montreal   (Canada)

^d ORANGE LABS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS; TESTING; ERRORS;

COMMUNICATING COMPONENTS; CONVENTIONAL TESTING; FINITE-STATE MODELS; INTERLEAVINGS; MODULAR SYSTEM; REACHABILITY ANALYSIS;

SOFTWARE TESTING;

EID: 77949799666     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68524-1_16     Document Type: Conference Paper

References (18)

1. Huo, J., Petrenko, A.: Covering Transitions of Concurrent Systems through Queues. In: ISSRE, pp. 335-345 (2005)
2. Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software -Concepts and Tools 17(3), 103-120 (1996)
3. Lynch, N., Tuttle, M.: An Introduction to Input/output Automata. CWI-Quarterly 2(3), 219-246 (1989)
4. Luo, G., Bochmann, G.v., Petrenko, A.: Test Selection Based on Communicating Nondeterministic Finite State Machines Using a Generalized Wp-Method. IEEE Transactions on Software Engineering (February 1994)
5. Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 2, 87-106 (1987)
6. Godefroid, P.: Model Checking for Programming Languages Using VeriSoft. In: POPL, pp. 174-186 (1997)
7. Bertolino, A., Muccini, H., Polini, A.: Architectural Verification of Black-box Componentbased Systems. In: Guelfi, N., Buchs, D. (eds.) RISE 2006. LNCS, vol. 4401, pp. 98-113. Springer, Heidelberg (2007)
8. Balcazar, J.L., Diaz, J., Gavalda, R.: Algorithms for learning finite automata from queries: A unified view. In: AALC, pp. 53-72 (1997)
9. Kearns, M.J., Vazirani, U.V.: An introduction to Computational Learning Theory. MIT Press, Cambridge (1994)
10. Li, K., Groz, R., Shahbaz, M.: Integration Testing of Components Guided by Incremental State Machine Learning. In: TAIC PART, pp. 231-247 (2006)
11. Mariani, L., Pezzè, M.: Behavior Capture and Test: Automated Analysis of Component Integration. In: ICECCS, pp. 292-301 (2005)
12. Shahbaz, M., Li, K., Groz, R.: Learning and Integration of Parameterized Components Through Testing. In: TestCom, pp. 319-334 (2007)
13. Cook, J.E., Wolf, A.L.: Discovering Models of Software Processes from Event-Based Data. ACM Trans. Softw. Eng. Methodol. 7(3), 215-249 (1998)
14. Biermann, A., Feldman, J.: On the Synthesis of Finite State Machines from Samples of their Behavior. IEEE Transactions on Computers 21(6), 592-597 (1972)
15. Elkind, E., Genest, B., Peled, D., Qu, H.: Grey-box Checking. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 420-435. Springer, Heidelberg (2006)
16. Petrenko, A., Yevtushenko, N.: Solving Asynchronous Equations. In: FORTE, pp. 231-247 (1998)
17. Hallal, H.H., Boroday, S., Petrenko, A., Ulrich, A.: A Formal Approach to Testing Properties in Causally Consistent Distributed Traces. Formal Aspects of Computing 18(1), 63-83 (2006)
18. Jéron, T., Morel, P.: Test Generation Derived from Model-Checking. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 108-121. Springer, Heidelberg (1999)