1492 search results - page 68 / 299 » Testing Properties of Constraint-Graphs |
88
Voted
CHI
2002
ACM
16 years 3 months ago
2002
ACM
Evaluating errors that result from user interactions with incar applications, it has to be considered that the user is permanently involved with driving the car. Reproducing this ...
132
Voted
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Many real-world problems demand a feasible solution to satisfy physical equilibrium, stability, or certain properties which require an additional lower level optimization probl...
136
click to vote
COMPSAC
2006
IEEE
15 years 9 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...
111
click to vote
DSN
2000
IEEE
15 years 8 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...
130
Voted
AIIDE
2009
15 years 4 months ago
2009
Early-stage game prototypes need to be informative without requiring excessive commitments. Paper prototypes are frequently used as a way of trying out core mechanics while leavin...