6274 search results - page 989 / 1255 » Proofs, Programs, Processes |
151
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
107
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...
139
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
109
click to vote
ITICSE
2004
ACM
15 years 8 months ago
2004
ACM
Keeping students alert and responsive during lectures is a challenge even for experienced teachers in small group settings. Research has shown the importance of student participat...
139
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...