A Theory of Specification-Based Testing for Object-Oriented Software
Publications associées (90)
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...