602 search results - page 34 / 121 » Efficient Model Checking of Applications with Input Output |
141
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
130
click to vote
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
118
click to vote
ERSHOV
2003
Springer
15 years 8 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
114
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Recently, the number of cores on general-purpose processors has been increasing rapidly. Using conventional programming models, it is challenging to effectively exploit these core...
110
click to vote
MFCS
2010
Springer
15 years 1 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...