S Liu, S Nakajima - 2010 Fourth International Conference on …, 2010 - ieeexplore.ieee.org
Automatic functional testing is a potentially effective technique for software reliability, but it has been a challenge due to the difficulties in automatically deriving adequate test cases …
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of …
S Liu, T Hayashi, K Takahashi, K Kimura… - New Trends in …, 2010 - ebooks.iospress.nl
Functional scenario-based test case generation is an important technique for specification- based testing and it can be fully automated. The vital first step of achieving the automation is …
A Feliachi, MC Gaudel, M Wenzel, B Wolff - Formal Methods and Software …, 2013 - Springer
Formal specifications provide strong bases for testing and bring powerful techniques and technologies. Expressive formal specification languages combine large data domain and …
MC Gaudel - … Symposium on Theoretical Aspects of Software …, 2017 - ieeexplore.ieee.org
This extended abstract takes advantage of a theory of software testing based on formal specifications to point out the benefits and limits of the use of formal methods to this end. A …
S Liu, S Nakajima - 2011 18th Asia-Pacific Software …, 2011 - ieeexplore.ieee.org
Several approaches to test case generation based on formal specifications have been put forward, but how to automatically generate test cases to ensure that all of the representative …
AH Bagge, V David, M Haveraaen - J. Object Technol., 2011 - Citeseer
Unit testing is an important part of modern software development, where individual code units are tested in isolation. Such tests are typically case-based, checking a likely error …
HY Chen, TH Tse - IEEE Transactions on Software Engineering, 2013 - ieeexplore.ieee.org
Algebraic specifications have been used in the testing of object-oriented programs and received much attention since the 1990s. It is generally believed that class-level testing …
MC Gaudel - Pernambuco Summer School on Software Engineering, 2007 - Springer
It is well accepted that formal specifications can be useful bases for software testing; some pioneering papers come back to the seventies. Given a specification and a system under …