2441 search results - page 255 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
134
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
132
click to vote
ICWE
2009
Springer
15 years 11 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...
137
click to vote
WCRE
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we present our design for a program data exchange format for Harmonia, a framework for constructing language-sensitive interactive CASE tools. We discuss the various...
133
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
151
click to vote
MSR
2005
ACM
15 years 10 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...