589 search results - page 98 / 118 » Automated test generation for engineering applications |
183
Voted
SIGMOD
2005
ACM
16 years 18 days ago
2005
ACM
Nearly all components that comprise modern information technology, such as Computer Aided Software Engineering (CASE) tools, Enterprise Application Integration (EAI) environments,...
129
Voted
ICSE
2004
IEEE-ACM
16 years 16 days ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
87
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
1 Information seeking is an important but often difficult task especially when involving large and complex data sets. We hypothesize that a context-sensitive interaction paradigm c...
90
Voted
AEI
1998
15 years 5 days ago
1998
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
102
click to vote
TCIAIG
2010
14 years 7 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...