551 search results - page 63 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
ICFP
2001
ACM
14 years 7 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
One of the characteristicsof object-oriented software is the complex dependency that may exist between classes due to inheritance, association and aggregation relationships. Hence...
TSE
2008
13 years 7 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
SOUPS
2005
ACM
14 years 1 months ago
2005
ACM
Secure email has struggled with signifcant obstacles to adoption, among them the low usability of encryption software and the cost and overhead of obtaining public key certificat...
CGF
2010
13 years 4 months ago
2010
Mean shift is a popular approach for data clustering, however, the high computational complexity of the mean shift procedure limits its practical applications in high dimensional ...