783 search results - page 65 / 157 » The TextPro Tool Suite |
INFSOF
2007
14 years 9 months ago
2007
A set of mutation operators for SQL queries that retrieve information from a database is developed and tested against a set of queries drawn from the NIST SQL Conformance Test Sui...
109
click to vote
ISSTA
2012
ACM
13 years 10 days ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
FPL
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We present different architectures to solve Boolean satisfiability problems in instance-specific hardware. A simulation of these architectures shows that for examples fro...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
102
click to vote
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
The web is fast maturing into an important marketing medium that provides businesses with the ability to undertake oneto-one marketing and provide personalised services to their cu...