2419 search results - page 193 / 484 » A Formal Approach to Software Testing |
113
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
User-input validators play an essential role in guarding a web application against application-level attacks. Hence, the security of the web application can be compromised by defe...
120
Voted
AAAI
1994
15 years 5 months ago
1994
We describe a bottom-up approach to the design of software agents. We built and tested an agent system that addresses the real-world problem of handling the activities involved in...
182
Voted
HCI
2009
15 years 1 months ago
2009
Delivering tailor-made ERP software requires automation of screen and printed report creation to be cost effective. Screens generated directly from data structures tend to have poo...
143
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
109
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
We have built a software development tool, CLIME, that uses constraints to ensure the consistency of the different artifacts associated with software. This approach to software dev...