Sciweavers

3792 search results - page 159 / 759
» Techniques for Trusted Software Engineering
Sort
View
QSIC
2003
IEEE
15 years 9 months ago
Character String Predicate Based Automatic Software Test Data Generation
A character string is an important element in programming. A problem that needs further research is how to automatically generate software test data for character strings. This pa...
Ruilian Zhao, Michael R. Lyu
ICSE
2009
IEEE-ACM
15 years 8 months ago
An Empirical Study of Testing File-System-Dependent Software with Mock Objects
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....
Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonat...
EUROMICRO
1998
IEEE
15 years 8 months ago
Hardware to Software Migration with Real-Time Thread Integration
This paper introduces thread integration, a new method of providing low-cost concurrency for microcontrollers and microprocessors. This post-pass compiler technology effectively i...
Alexander G. Dean, John Paul Shen
APSEC
1997
IEEE
15 years 8 months ago
Using Extended Event Traces to Describe Communication in Software Architectures
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
Manfred Broy, Christoph Hofmann, Ingolf Krüge...
CSMR
2007
IEEE
15 years 4 months ago
Towards A Process-Oriented Software Architecture Reconstruction Taxonomy
To maintain and understand large applications, it is crucial to know their architecture. The first problem is that unlike classes and packages, architecture is not explicitly rep...
Damien Pollet, Stéphane Ducasse, Loïc ...