1516 search results - page 44 / 304 » Trends in Software Verification |
DAC
2002
ACM
15 years 10 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
ICSE
1992
IEEE-ACM
15 years 1 months ago
1992
IEEE-ACM
This paper presents the tools Ald
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
CBSE
2007
Springer
15 years 3 months ago
2007
Springer