10715 search results - page 169 / 2143 » Proofs from Tests |
109
Voted
DEXAW
2008
IEEE
15 years 2 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
109
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
Regression testing aims at showing that code has not been adversely affected by modification activities during maintenance. Regression test selection techniques reuse tests from...
117
Voted
ARCS
2004
Springer
15 years 6 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
117
Voted
ACL
2003
15 years 2 months ago
2003
An investment of effort over the last two years has begun to produce a wealth of data concerning computational psycholinguistic models of syntax acquisition. The data is generated...
101
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...