12272 search results - page 128 / 2455 » Experimental program analysis |
120
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
189
click to vote
NOMS
2000
IEEE
15 years 10 months ago
2000
IEEE
Management of large-scale Network-Centric Systems (NCS) and their applications is an extremely complex and challenging task due to factors such as centralized management architect...
156
click to vote
DSS
2007
15 years 6 months ago
2007
International crime and terrorism have drawn increasing attention in recent years. Retrieving relevant information from criminal records and suspect communications is important in...
152
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis