2026 search results - page 372 / 406 » Tools for Test Case Generation |
181
click to vote
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
166
Voted
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
127
click to vote
JISBD
2001
15 years 5 months ago
2001
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
155
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The increasing amount of published literature in biomedicine represents an immense source of knowledge, which can only efficiently be accessed by a new generation of a...
154
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Molecular interaction networks can be efficiently studied using network visualization software such as Cytoscape. The relevant nodes, edges and their attributes can be...