A Theory of Specification-Based Testing for Object-Oriented Software
Related publications (90)
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
This paper presents an overview on the IF toolset which is an environment for modelling and validation of heterogeneous real-time systems. The toolset is built upon a rich formalism, the IF notation, allowing structured automata-based system representation ...
The aim of this paper is to present an experimental validation of a frequency- domain approach to the solution of the lightning electromagnetic field-to- buried cable coupling equations. The coupling to the inner conductor is evaluated using the concept of ...
Detection of defective members of large populations has been widely studied in the statistics community under the name ``group testing'', a problem which dates back to World War~II when it was suggested for syphilis screening. There the main interest is to ...
Highly quantitative biomarkers of neurodegenerative disease remain an important need in the urgent quest for disease-modifying therapies. For Huntington's disease (HD), a genetic test is available (trait marker), but necessary state markers are still in de ...
The reactions and corresponding system of equations for the inorganic SO4 2--NO3 --NH4 + system have been studied with a new heterogeneous partitioning code, HETV. The code is based on the algorithms of ISORROPIA (Nenes et al., Aquat. Geochem. 4 (1998) 123 ...
As the test of the PFC1 is foreseen in 2006 at JAERI Naka, Japan, it is essential to consider in detail the lessons learned from the short NbTi sample tests, as well as the issues left open after them, in order to develop a suitable test program of the PFC ...
A decade ago, Tony Hoare noted that "The real value of tests is not that they detect bugs in the code but that they detect inadequacies in the methods, concentration, and skills of those who design and produce the code." As usual, Tony saw far ahead of the ...
Use cases are an excellent tool for capturing behavioral requirements of software systems, but they are not an ideal work product for driving design activities. We believe that there is value from complementing use case descriptions with pre- and postcondi ...
With the present day's exponential growth of the (tele-)communications market, the explosion of the number of mobile communication customers, and the tremendous growth of the number of IP hosts, ensuring the reliability of communication services is one of ...