2774 search results - page 132 / 555 » Query-Driven Program Testing |
125
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...
109
click to vote
HAPTICS
2010
IEEE
15 years 7 months ago
2010
IEEE
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
116
Voted
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...