MAS - an interactive synthesizer to support behavioral modeling in UML
Mlikinen, E.; Systa, T.
Page(s): 15- 24
Digital Object Identifier 10.1109/ICSE.2001.919077 Abstract
| Full Text: PDF (920 KB)
Rights and Permissions
Analysis and testing of Web applications
Ricca, F.; Tonella, P.
Page(s): 25- 34
Digital Object Identifier 10.1109/ICSE.2001.919078 Abstract
| Full Text: PDF (880 KB)
Rights and Permissions
The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification
Cobleigh, J.M.; Clarke, L.A.; Ostenveil, L.J.
Page(s): 37- 46
Digital Object Identifier 10.1109/ICSE.2001.919079 Abstract
| Full Text: PDF (912 KB)
Rights and Permissions
Static checking of interrupt-driven software
Brylow, D.; Damgaard, N.; Palsberg, J.
Page(s): 47- 56
Digital Object Identifier 10.1109/ICSE.2001.919080 Abstract
| Full Text: PDF (816 KB)
Rights and Permissions
Lightweight analysis of operational specifications using inference graphs
Dillon, L.K.; Stirewalt, R.E.K.
Page(s): 57- 67
Digital Object Identifier 10.1109/ICSE.2001.919081 Abstract
| Full Text: PDF (944 KB)
Rights and Permissions
Commitment development in software process improvement: critical misconceptions
Abrahamsson, P.
Page(s): 71- 80
Digital Object Identifier 10.1109/ICSE.2001.919082 Abstract
| Full Text: PDF (808 KB)
Rights and Permissions
An empirical study of global software development: distance and speed
Herbsleb, J.D.; Mockus, A.; Finholt, T.A.; Grinter, R.E.
Page(s): 81- 90
Digital Object Identifier 10.1109/ICSE.2001.919083 Abstract
| Full Text: PDF (872 KB)
Rights and Permissions
Supporting program comprehension using semantic and structural information
Maletic, J.I.; Marcus, A.
Page(s): 103- 112
Digital Object Identifier 10.1109/ICSE.2001.919085 Abstract
| Full Text: PDF (928 KB)
Rights and Permissions
On the syllogistic structure of object-oriented programming
Rayside, D.; Kontogiannis, K.
Page(s): 113- 122
Digital Object Identifier 10.1109/ICSE.2001.919086 Abstract
| Full Text: PDF (784 KB)
Rights and Permissions
A scenario-driven approach to traceability
Egyed, A.
Page(s): 123- 132
Digital Object Identifier 10.1109/ICSE.2001.919087 Abstract
| Full Text: PDF (1036 KB)
Rights and Permissions
Evaluating the accuracy of defect estimation models based on inspection data from two inspection cycles
Biffl, S.; Grossmann, W.
Page(s): 145- 154
Digital Object Identifier 10.1109/ICSE.2001.919089 Abstract
| Full Text: PDF (952 KB)
Rights and Permissions
Investigating the cost-effectiveness of reinspections in software development
Biffl, S.; Freimut, B.; Laitenberger, O.
Page(s): 155- 164
Digital Object Identifier 10.1109/ICSE.2001.919090 Abstract
| Full Text: PDF (868 KB)
Rights and Permissions
A component-based approach to building formal analysis tools
Stirewalt, R.E.; Dillon, L.K.
Page(s): 167- 176
Digital Object Identifier 10.1109/ICSE.2001.919091 Abstract
| Full Text: PDF (924 KB)
Rights and Permissions
Tool-supported program abstraction for finite-state verification
Dwyer, M.B.; Hatcliff, J.; Joehanes, R.; Laubach, S.; Pasreanu, C.S.; Zheng, R.H.; Visser, W.
Page(s): 177- 187
Digital Object Identifier 10.1109/ICSE.2001.919092 Abstract
| Full Text: PDF (988 KB)
Rights and Permissions
A workbench for synthesising behaviour models from scenarios
Uchitel, S.; Kramer, J.
Page(s): 188- 197
Digital Object Identifier 10.1109/ICSE.2001.919093 Abstract
| Full Text: PDF (804 KB)
Rights and Permissions
The specification and testing of quantified progress properties in distributed systems
Knshnamurthy, P.; Sivilotti, P.A.G.
Page(s): 201- 210
Digital Object Identifier 10.1109/ICSE.2001.919094 Abstract
| Full Text: PDF (800 KB)
Rights and Permissions
Encoding program executions
Reiss, S.P.; Renieris, M.
Page(s): 221- 230
Digital Object Identifier 10.1109/ICSE.2001.919096 Abstract
| Full Text: PDF (752 KB)
Rights and Permissions
Dynamic and selective combination of extensions in component-based applications
Truyen, E.; Vanhaute, B.; Joosen, W.; Verbaeten, P.; Jorgensen, B.N.
Page(s): 233- 242
Digital Object Identifier 10.1109/ICSE.2001.919097 Abstract
| Full Text: PDF (888 KB)
Rights and Permissions
Generating wrappers for command line programs: the Cal-Aggie Wrap-O-Matic project
Wohlstadter, E.; Jackson, S.; Devanbu, P.
Page(s): 243- 252
Digital Object Identifier 10.1109/ICSE.2001.919098 Abstract
| Full Text: PDF (820 KB)
Rights and Permissions
Designing components versus objects: a transformational approach
Lorenz, D.H.; Vlissides, J.
Page(s): 253- 263
Digital Object Identifier 10.1109/ICSE.2001.919099 Abstract
| Full Text: PDF (840 KB)
Rights and Permissions
Exploiting the map metaphor in a tool for software evolution
Griswold, W.G.; Yuan, J.J.; Kato, Y.
Page(s): 265- 274
Digital Object Identifier 10.1109/ICSE.2001.919100 Abstract
| Full Text: PDF (1244 KB)
Rights and Permissions
Separating features in source code: an exploratory study
Murphy, G.C.; Lai, A.; Walker, R.J.; Robillard, M.P.
Page(s): 275- 284
Digital Object Identifier 10.1109/ICSE.2001.919101 Abstract
| Full Text: PDF (996 KB)
Rights and Permissions
Comparing frameworks and layered refinement
Cardone, R.; Lin, C.
Page(s): 285- 294
Digital Object Identifier 10.1109/ICSE.2001.919102 Abstract
| Full Text: PDF (912 KB)
Rights and Permissions
Quantifying the costs and benefits of architectural decisions
Kazman, R.; Jai Asundi; Klein, M.
Page(s): 297- 306
Digital Object Identifier 10.1109/ICSE.2001.919103 Abstract
| Full Text: PDF (860 KB)
Rights and Permissions
Cart
