149 search results - page 7 / 30 » QuickSpec: Guessing Formal Specifications Using Testing |
CIBSE
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
AIME
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...
GI
2009
Springer
13 years 5 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
IAT
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
CODES
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...