76 search results - page 16 / 16 » Using Datalog and Boolean Equation Systems for Program Analy... |
167
Voted
KDD
2003
ACM
16 years 3 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...