1655 search results - page 155 / 331 » Visual tool for generative programming |
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
VL
2005
IEEE
14 years 3 months ago
2005
IEEE
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
VL
2005
IEEE
14 years 3 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
VL
2008
IEEE
14 years 4 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
UIST
2006
ACM
14 years 3 months ago
2006
ACM
NP-hard combinatorial optimization problems are common in real life. Due to their intractability, local search algorithms are often used to solve such problems. Since these algori...