Sciweavers

ICSE
2005
IEEE-ACM
14 years 11 months ago
A case study on the automated verification of groupware protocols
Maurice H. ter Beek, Mieke Massink, Diego Latella,...
ICSE
2005
IEEE-ACM
14 years 11 months ago
Beyond templates: a study of clones in the STL and some general implications
Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarza...
ICSE
2005
IEEE-ACM
14 years 11 months ago
Efficient and precise dynamic impact analysis using execute-after sequences
As software evolves, impact analysis estimates the potential effects of changes, before or after they are made, by identifying which parts of the software may be affected by such ...
Taweesup Apiwattanapong, Alessandro Orso, Mary Jea...
ICSE
2005
IEEE-ACM
14 years 11 months ago
Is mutation an appropriate tool for testing experiments?
James H. Andrews, Lionel C. Briand, Yvan Labiche
ICSE
2005
IEEE-ACM
14 years 11 months ago
A quality-driven systematic approach for architecting distributed software applications
Tariq Al-Naeem, Ian Gorton, Muhammad Ali Babar, Fe...
ICSE
2005
IEEE-ACM
14 years 11 months ago
Improving software security with a C pointer analysis
Dzintars Avots, Michael Dalton, V. Benjamin Livshi...
ICSE
2005
IEEE-ACM
14 years 11 months ago
Modeling and implementing software architecture with acme and archJava
We demonstrate a tool to incrementally synchronize an Acme architectural model described in the Acme Architectural Description Language (ADL) with an implementation in ArchJava, a...
Marwan Abi-Antoun, Jonathan Aldrich, David Garlan,...