396 search results - page 60 / 80 » Using Refinement Checking as System Testing |
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
FORTE
1997
14 years 11 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
FASE
2006
Springer
15 years 1 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...