1541 search results - page 63 / 309 » Tools and Techniques for Model Checking Networked Programs |
87
Voted
SIGADA
1998
Springer
15 years 4 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 ...
145
Voted
CSCWD
2009
Springer
15 years 7 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...
ICSE
2004
IEEE-ACM
16 years 19 days 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...
122
click to vote
FASE
2004
Springer
15 years 6 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...
112
Voted
OSDI
2002
ACM
16 years 26 days 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...