Analyzing second-order effects between optimizations for system-level test-based model generation

Proceedings - International Test Conference

Volumn 2005, Issue , 2005, Pages 461-467

  Margaria, Tiziana ^b,c   Raffelt, Harald ^a   Steffen, Bernhard ^a,c  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF GÖTTINGEN   (Germany)

^c METAFrame Technologies GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; MATHEMATICAL MODELS; OPTIMIZATION; QUERY LANGUAGES; SYSTEMS ANALYSIS;

AUTOMATA LEARNING; SYSTEM-LEVEL TEST; TRACTABILITY;

AUTOMATA THEORY;

EID: 33847107531     PISSN: 10893539     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TEST.2005.1584006     Document Type: Conference Paper

References (17)

1. D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87-106, 1987.
2. Y. Brun, M. D. Ernst. Finding latent code errors via machine learning over program executions Proc. 26th International Conference on Software Engineering (ICSE'04), pp. 480-490, May 2004
3. J. E. Cook, Z. Du, C. Liu, A. L. Wolf. Discovering Models of Behavior for Concurrent Systems Tech. rep. New Mexico State University, Dept. of Computer Science, Aug. 2002
4. J. E. Cook, A. L. Wolf Discovering Models of Software Processes from Event-Based Data ACM Trans, on Software Engineering and Methodology (TOSEM) pp. 215-249, 1998
5. M. D. Ernst, A. Czeisler, W. G. Griswold, D. Notkin. Quickly detecting relevant program invariants In proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), 449-458, June 2000
6. A. Hagerer, H. Hungar, O. Niese, and B. Steffen. Model Generation by Moderated Regular Extrapolation. Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), LNCS 2306, pp. 80-95.
7. O. Niese, T. Margaria, A. Hagerer, G. Brune, W. Goerigk, H.-D. Ide, and B. Steffen. Automated Regression Testing of CTI-Systems. Proc. of IEEE European Test Workshop (ETW2001), May 2001, Stockholm (Sweden).
8. A. Hagerer, T. Margaria, O. Niese, B. Steffen, G. Brune, H. Ide. Efficient regression testing of CTI-systems: Testing a complex call-center solution. In Annual Review of Communication, Vol. 55. Int. Engineering Consortium (IEC), 2001.
9. H. Hungar, T. Margaria, B. Steffen: Test-Based Model Generation for Legacy Systems, IEEE International Test Conference (ITC), Charlotte, NC, September 30 - October 2, 2003.
10. th Int. Conf. on Computer Aided Verification, 2003, LNCS 2725, pp.315-327, Springer Verlag.
11. T. Margaria, O. Niese, B. Steffen, A. Erochok. System Level Testing of Virtual Switch (Re-)Configuration over IP. In Proc. IEEE European Test Workshop. Corfu (GR), May 2002, IEEE Society Press.
12. L. Mariani, Mauro Pezzè. A technique for verifying component-based software Proceeding of the Int. Workshop on Test and Analysis of Component Based Systems, TACOS 2004, Barcelona, March 2004
13. J. W. Nimmer, M. D. Ernst. Automatic generation of program specifications In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA 2002), 232-242, July 2002
14. D. Peled, M. Y. Vardi, M. Yannakakis Black Box Checking Formal Methods for Protocol Engineering and Distributed Systems, (FORTE/PSTV), pp. 225-240, 1999, Kluwer.
15. B. Steffen and H. Hungar, Behavior-based model construction. In S. Mukhopadhyay and L. Zuck, editors, Proc. 4th Int. Conf. on Verification, Model Checking and Abstract Interpretation, LNCS 2575, Springer 2003.
16. T. Xie, D. Notkin Mutually Enhancing Test Generation and Specification Inference. In Proceedings of 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), LNCS Vol. 2931, Springer, pp. 60-69, Oct. 2003.
17. T. Margaria, O. Niese, H. Raffelt, and B. Steffen Efficient Test-based Model Generation for Legacy Reactive Systems. In Proceedings of International High Level Design Validation and Test Workshop, 2004 Sonoma, California.