3889 search results - page 553 / 778 » The Use of Program Dependence Graphs in Software Engineering |
166
click to vote
PASTE
2005
ACM
15 years 10 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
255
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
136
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
162
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...
157
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...