6800 search results - page 754 / 1360 » Testing with Functions as Specifications |
228
click to vote
TSE
2008
15 years 7 months ago
2008
Software end users are the best testers, who keep revealing bugs in software that has undergone rigorous in-house testing. In order to leverage their testing efforts, failure repor...
207
click to vote
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
193
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
178
click to vote
RECOMB
2002
Springer
16 years 7 months ago
2002
Springer
We present algorithms for time-series gene expression analysis that permit the principled estimation of unobserved timepoints, clustering, and dataset alignment. Each expression p...
229
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...