1137 search results - page 154 / 228 » Disciplined Methods of Software Specification: A Case Study |
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Randomized testing has been shown to be an effective method for testing software units. However, the thoroughness of randomized unit testing varies widely according to the settin...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
To integrate a software component into a system, it must interact properly with the system's other components. Unfortunately,the decisions about how a component is to interac...
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
GIS
2010
ACM
14 years 7 months ago
2010
ACM
Traffic information systems based on mobile, in-car sensor technology are a challenge for data management systems as a huge amount of data has to be processed in real-time. Data m...