Sciweavers

5439 search results - page 76 / 1088
» Patterns: from system design to software testing
Sort
View
IWPC
2002
IEEE
14 years 1 months ago
Where's the Schema? A Taxonomy of Patterns for Software Exchange
Program comprehension tools extract, organize and analyze information about the design and implementation of software systems. Before tools can exchange information, they must sha...
Dean Jin, James R. Cordy, Thomas R. Dean
ICSE
2000
IEEE-ACM
14 years 12 days ago
Software engineering for security: a roadmap
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...
Premkumar T. Devanbu, Stuart G. Stubblebine
VTS
1999
IEEE
106views Hardware» more  VTS 1999»
14 years 1 months ago
RT-level TPG Exploiting High-Level Synthesis Information
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto
FM
2005
Springer
108views Formal Methods» more  FM 2005»
14 years 2 months ago
Formal Methods and Testing: Hypotheses, and Correctness Approximations
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
Marie-Claude Gaudel
SEKE
2005
Springer
14 years 2 months ago
Using Feature-Oriented Analysis to Recover Legacy Software Design for Software Evolution
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...
Shaoyun Li, Feng Chen, Zhihong Liang, Hongji Yang