4079 search results - page 487 / 816 » Differential Testing for Software |
138
click to vote
ICSE
2005
IEEE-ACM
16 years 5 months ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
130
Voted
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
145
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Virtual communities have become an important new organizational form and yet relatively little is known about the conditions which lead to their success. In an attempt to address ...
118
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
115
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...