2026 search results - page 137 / 406 » Tools for Test Case Generation |
135
click to vote
SSIRI
2010
15 years 2 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
147
click to vote
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
170
click to vote
DAC
1995
ACM
15 years 7 months ago
1995
ACM
— Most information and services required today by designers will soon become available as documents distributed in a wide area hypermedia network. New integration services are re...
153
Voted
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
155
Voted
EUROSYS
2010
ACM
16 years 27 days ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...