3889 search results - page 603 / 778 » The Use of Program Dependence Graphs in Software Engineering |
138
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
122
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
128
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common subexpression elimina...
129
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...
111
click to vote
CGO
2005
IEEE
15 years 10 months ago
2005
IEEE
Program execution traces are frequently used in industry and academia. Yet, most trace-compression algorithms have to be re-implemented every time the trace format is changed, whi...