1781 search results - page 174 / 357 » Visualizing program execution using user abstractions |
98
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
117
Voted
ASWEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Object-oriented programs, when executed, produce a complex webs of objects and references between them, generally referred to as object graphs. These object graphs are difficult t...
121
Voted
CACM
2010
15 years 2 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
124
Voted
COMSIS
2004
15 years 2 months ago
2004
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
117
Voted
CBRMD
2008
15 years 2 months ago
2008
Abstract. This paper describes an approach to detect hints on procurement fraud. It was developed within the context of a European Union project on fraud prevention. Procurement fr...