4716 search results - page 429 / 944 » Iterative-free program analysis |
200
Voted
EDCC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
166
click to vote
HIPEAC
2005
Springer
16 years 10 days ago
2005
Springer
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
143
Voted
IFIP
2005
Springer
16 years 10 days ago
2005
Springer
Mobile phones have become a very important tool for personal communication. It is therefore of great importance that forensic investigators have possibilities to extract evidence ...
161
click to vote
ISSTA
2004
ACM
16 years 7 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
162
click to vote
DATE
2003
IEEE
16 years 3 days ago
2003
IEEE
On-chip communication design includes designing software (SW) parts (operating system, device drivers, interrupt service routines, etc.) as well as hardware (HW) parts (on-chip co...