238 search results - page 14 / 48 » Constraint Solving and Symbolic Execution |
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
129
click to vote
CAV
2004
Springer
15 years 4 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
115
click to vote
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
107
Voted
AAAI
2006
15 years 1 months ago
2006
Despite the significant progress to extend Markov Decision Processes (MDP) to cooperative multi-agent systems, developing approaches that can deal with realistic problems remains ...
94
Voted
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...