456 search results - page 57 / 92 » Automated Generation of Context-Aware Tests |
WWW
2002
ACM
14 years 9 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
MANSCI
2010
13 years 7 months ago
2010
Retail store managers may not follow order advices generated by an automated inventory replenishment system if their incentives differ from the cost minimization objective of the...
DATE
2000
IEEE
14 years 28 days ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
ASE
2005
13 years 8 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...