Sciweavers

Share
FATES
2003
Springer
10 years 4 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
FATES
2003
Springer
10 years 4 months ago
Black-Box Testing of Grey-Box Behavior
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)deļ¬nitions for some of the methods of the given system. A...
Benjamin Tyler, Neelam Soundarajan
FATES
2003
Springer
10 years 4 months ago
Auto-generating Test Sequences Using Model Checkers: A Case Study
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem ...
FATES
2003
Springer
10 years 4 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
FATES
2003
Springer
10 years 4 months ago
Mutually Enhancing Test Generation and Specification Inference
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
Tao Xie, David Notkin
FATES
2003
Springer
10 years 4 months ago
Property Oriented Test Case Generation
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
Jean-Claude Fernandez, Laurent Mounier, Cyril Pach...
FATES
2003
Springer
10 years 4 months ago
Compositional Testing with ioco
Machiel van der Bijl, Arend Rensink, Jan Tretmans
FATES
2003
Springer
10 years 4 months ago
Automatic Conformance Testing of Internet Applications
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
Harm M. A. van Beek, Sjouke Mauw
FATES
2003
Springer
10 years 4 months ago
Towards a Tool Environment for Model-Based Testing with AsmL
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanso...
books