1722 search results - page 269 / 345 » Generating Tests from Counterexamples |
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
EUROMICRO
2005
IEEE
14 years 1 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
IDEAS
2005
IEEE
14 years 1 months ago
2005
IEEE
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...
JCDL
2005
ACM
14 years 1 months ago
2005
ACM
Our system suggests likely identity labels for photographs in a personal photo collection. Instead of using face recognition techniques, the system leverages automatically availab...
WOWMOM
2005
ACM
14 years 1 months ago
2005
ACM
Wireless LANs (WLANs) have edged into numerous mobile and wireless users’ daily experience worldwide as a mainstream connectivity solution for a broad range of applications. Eve...