Christophe Meudec. Automatic Generation of Software Test Cases From Formal Speci cations. PhD thesis, The Queen's University of Belfast, May 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
2nd Year DPhil Report - Tracey (1998) (Correct)
....generators are the simplest form of black box test automation as the test data is generated randomly without reference to the source code. Other black box test automation has been carried out using syntax based testing [Bur67] state based specifications [FvBK 91, Bur96] and formal methods [Yan95, Meu97]. Perhaps the biggest problem with test cases generated from high level specifications is how to map the tests to the software implementation for execution. Also the test case generation methods are tied very closely to the specification notation and the testing problem being addressed, they ....
Christophe Meudec. Automatic Generation of Software Test Cases from Formal Methods. PhD thesis, Belfast University, 1997.
Towards Automated Unit Testing of Statechart Implementations - Burton (1999) (5 citations) (Correct)
....and implementation. This work can be seen as the first step to a complete and practical testing solution for statecharts. Further work must address several key issues. Test data generation can be automated by applying either heuristic optimisation [28] or constraint logic programming [23] techniques. These techniques have been shown to be successful at generating test data for constraints typical of the specifications under consideration. Preliminary work has also shown that such techniques can be applied successfully from with an automated proof environment allowing test data ....
C. Meudec, Automatic Generation of Software Test Cases From Formal Specifications. PhD thesis, The Queen's University of Belfast, 1998.
Software Technology - Unu-Iist Report No (Correct)
No context found.
Christophe Meudec. Automatic Generation of Software Test Cases From Formal Speci cations. PhD thesis, The Queen's University of Belfast, May 1998.
Predicting Problems Caused by Component Upgrades - McCamant, Ernst (2003) (9 citations) (Correct)
No context found.
C. Meudec. Automatic Generation of Software Test Cases From Formal Specifications. PhD thesis, Queen's University of Belfast, 1998.
Improving Test Suites via Operational Abstraction - Harder, Mellen, Ernst (2003) (14 citations) (Correct)
No context found.
Christophe Meudec. Automatic Generation of Software Test Cases From Formal Specifications. PhD thesis, Queen's University of Belfast, 1998.
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