3544 search results - page 303 / 709 » Software Testing |
200
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
138
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes evaluation results for a software programme that is intended to be used as a training-aid for lipreading in German. Tests were carried out in schools for hear...
180
click to vote
AAAI
1998
15 years 8 months ago
1998
The Interchamber Monitoring and Control (IMC) system is semi-autonomous, intelligent software that controls life support systems designed for recycling air in remote space habitat...
302
click to vote
REFSQ
2010
Springer
2010
Springer
Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context
15 years 5 months ago
[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within b...
150
click to vote
PASTE
2004
ACM
16 years 19 days ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...