1541 search results - page 63 / 309 » Tools and Techniques for Model Checking Networked Programs |
113
Voted
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
174
Voted
CSCWD
2009
Springer
15 years 10 months ago
2009
Springer
By research on Topic Map standard, the Extended Topic Map (ETM) is proposed as a novel model for better organization and management of the massive knowledge resources in E-learnin...
133
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
158
Voted
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
142
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...