M. Harder and M. Ernst. Improving test suites via operational abstraction. In ###### ##### ###### ####, May 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Exploiting Synergy Between Testing and Inferred Partial.. - Xie, Notkin (2003) (1 citation) (Correct)
....the fact that the inferred specifications may change when new tests are added to the existing test suite. The first, called the operational difference (OD) technique, makes use of the differences in inferred specifications between test executions to generate, augment, and minimize the test suites [5]. The second, as implemented in the tool DIDUCE, can continuously check a program s behavior against the incrementally inferred partial specifications during the run(s) and produce a report of all violations detected along the way [4] This can help detect bugs and track down the root causes. It ....
....methods are available. In white box testing (e.g. the residual structural coverage [11] users select tests that provide new structural coverage unachieved by the existing test suite. In black box testing, the operational difference (OD) technique is applicable in augmenting a test suite [5]. However, the OD technique for this unit test augmentation problem might select a relatively large set of tests because the specification generator s statistical tests usually require multiple executions before outputting a specification clause. Additionally, OD requires frequent generation of ....
[Article contains additional citation context not shown here]
M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In Proceedings of the International Conference on Software Engineering, (Portland, Oregon), May 6-8, 2003.
Efficient Incremental Algorithms for Dynamic Detection of.. - Perkins, Ernst (2004) (2 citations) Self-citation (Ernst) (Correct)
No context found.
M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In ICSE, pages 60--71, May 2003.
Finding Latent Code Errors via Machine Learning over Program.. - Brun, Ernst (2004) (4 citations) Self-citation (Ernst) (Correct)
No context found.
M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In ICSE, pages 60--71, May 2003.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Michael Harder, Je# Mellen, and Michael D. Ernst. Improving test suites via operational abstraction. In on Software Engineering, pages 60--71, Portland, Oregon, May 6--8, 2003.
Predicting Problems Caused by Component Upgrades - McCamant, Ernst (2003) (9 citations) Self-citation (Ernst) (Correct)
No context found.
M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In ICSE'03, Proceedings of the 25th International Conference on Software Engineering, pages 60--71, Portland, Oregon, May 6--8, 2003.
Building an Infrastructure to Support - Experimentation With Software (Correct)
No context found.
M. Harder and M. Ernst. Improving test suites via operational abstraction. In ###### ##### ###### ####, May 2003.
Infrastructure Support for Controlled Experimentation - With Software Testing (Correct)
No context found.
M. Harder and M. Ernst. Improving test suites via operational abstraction. In Int'l. Conf. Softw. Eng.,May 2003.
Generation of Self-Testing Components - Mariani, Pezze, Willmor (Correct)
No context found.
Harder, M., Mellen, J., Ernst, M.D.: Improving test suites via operational abstraction. In: Proceedings of the 25th international conference on Software engineering, Portland, Oregon, IEEE Computer Society (2003) 60--71
Improving the Classification of Software Behaviors Using.. - Bowring, Harrold, Rehg (2005) (Correct)
No context found.
M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In Proceedings of the 25rd International Conference on Software Engineering (ICSE'03), pages 60--71, May 2003.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Harder M, Mellen J, Ernst MD (2003) Improving test suites via operational abstraction. In: Proceedings of the 25th international conference on software engineering (ICSE'03), Portland, OR, 6--8 May 2003, pp 60--71
Tool-Assisted Unit Test Selection Based on Operational Violations - Xie, Notkin (2003) (5 citations) (Correct)
No context found.
M. Harder, J. Mellen, and M. D. Ernst, "Improving test suites via operational abstraction", Proceedings of the International Conference on Software Engineering (ICSE), Portland, Oregon, May 2003, pp. 60-71.
TRIPWIRE: Mediating Software Self-Awareness - Bowring, Rehg, Harrold (Correct)
No context found.
M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In Proceedings of the 25rd International pages 60--71, May 2003.
Improving Generation of Object-Oriented Test Suites by.. - Xie, Marinov, Notkin (2004) (Correct)
No context found.
M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In Proceedings of the 25th international conference on Software engineering, pages 60--71. IEEE Computer Society, 2003.
Active Learning for Automatic Classification of Software - Bowring, Rehg, Harrold (2004) (2 citations) (Correct)
No context found.
M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In Proceedings of the 25rd International Conference on Software Engineering (ICSE'03), pages 60--71, May 2003.
Software Behavior: Automatic Classification and its.. - Bowring, Rehg, Harrold (2003) (Correct)
No context found.
M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In Proceedings of the 25rd International pages 60--71, May 2003.
Infrastructure Support for Controlled Experimentation with .. - Do, Elbaum, Rothermel (2004) (1 citation) (Correct)
No context found.
M. Harder and M. Ernst. Improving test suites via operational abstraction. In Int'l. Conf. Softw. Eng.,May 2003.
Infrastructure Support for Controlled Experimentation with.. - Do, Rothermel, al. (2004) (1 citation) (Correct)
No context found.
M. Harder and M. Ernst. Improving test suites via operational abstraction. In Int'l. Conf. Softw. Eng., May 2003.
Tool-Assisted Unit Test Selection Based on Operational Violations - Xie, Notkin (2003) (5 citations) (Correct)
No context found.
M. Harder, J. Mellen, and M. D. Ernst, "Improving test suites via operational abstraction", Proceedings of the International Conference on Software Engineering (ICSE), Portland, Oregon, May 2003, pp. 60-71.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC