1809 search results - page 208 / 362 » Software Model Checking Using Linear Constraints |
131
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
117
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
109
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...
93
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
139
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...