589 search results - page 71 / 118 » Automated test generation for engineering applications |
109
Voted
CCS
2008
ACM
15 years 7 days ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...
86
Voted
VAMOS
2009
Springer
15 years 4 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
106
Voted
ISESE
2006
IEEE
15 years 4 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
DAC
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we describe an area efficient power minimization scheme "Control Generated ClockingI` that saves significant amounts of power in datapath registers and clock dr...
75
Voted
KBSE
2006
IEEE
15 years 4 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...