Volume 28; Issue 5

ACM SIGSOFT Software Engineering Notes

Volume 28; Issue 5

1

Use case-based testing of product lines

Bertolino, Antonia, Gnesi, Stefania

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 198 KB

english, 2003

2

Designing and implementing a family of intrusion detection systems

Vigna, Giovanni, Valeur, Fredrik, Kemmerer, Richard A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 200 KB

english, 2003

3

A simulation-based approach to software performance modeling

Balsamo, Simonetta, Marzolla, Moreno

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 124 KB

english, 2003

4

Evaluating and improving the automatic analysis of implicit invocation systems

Bradbury, Jeremy S., Dingel, Juergen

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 169 KB

english, 2003

5

Leveraging field data for impact analysis and regression testing

Orso, Alessandro, Apiwattanapong, Taweesup, Harrold, Mary Jean

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 286 KB

english, 2003

6

Computer modelling and natural phenomena

Longo, Giuseppe

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 210 KB

english, 2003

7

Consistency techniques for interprocedural test data generation

Sy, Nguyen Tran, Deville, Yves

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 271 KB

english, 2003

8

Monitoring the software test process using statistical process control

Cangussu, Jo?o W., DeCarlo, Raymond A., Mathur, Aditya P.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 244 KB

english, 2003

9

On the economic evaluation of XP projects

Müller, Matthias M., Padberg, Frank

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 223 KB

english, 2003

10

Reverse engineering framework reuse interfaces

Viljamaa, Jukka

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 306 KB

english, 2003

11

Towards scalable compositional analysis by refactoring design models

Cheng, Yung-Pin, Young, Michal, Huang, Che-Ling, Pan, Chia-Yi

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 212 KB

english, 2003

12

Fluent model checking for event-based systems

Giannakopoulou, Dimitra, Magee, Jeff

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 333 KB

english, 2003

13

Bogor

Robby,, Dwyer, Matthew B., Hatcliff, John

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 250 KB

english, 2003

14

Predicting problems caused by component upgrades

McCamant, Stephen, Ernst, Michael D.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 139 KB

english, 2003

15

Eos

Rajan, Hridesh, Sullivan, Kevin

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

File:

PDF, 176 KB

2003

16

Tracking pointers with path and context sensitivity for bug detection in C programs

Livshits, V. Benjamin, Lam, Monica S.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 216 KB

english, 2003

17

Runtime safety analysis of multithreaded programs

Sen, Koushik, Rosu, Grigore, Agha, Gul

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 570 KB

english, 2003

18

EFFICIENT

Eshuis, Rik, Brimont, Pierre, Dubois, Eric, Gr?goire, Bertrand, Ramel, Sophie

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 128 KB

english, 2003

19

Making sense of runtime architecture for mobile phone software

Ran, Alexander, Lencevicius, Raimondas

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 310 KB

english, 2003

20

Policy-enforced linking of untrusted components

Lee, Eunyoung, Appe, Andrew W.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 423 KB

english, 2003

21

Gravity

Hall, Richard S., Cervantes, Humberto

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 1.46 MB

english, 2003

22

Regression testing of GUIs

Memon, Atif M., Soffa, Mary Lou

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 291 KB

english, 2003

23

Modeling and validation of service-oriented architectures

Baresi, Luciano, Heckel, Reiko, Thöne, Sebastian, Varró, Dániel

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 234 KB

english, 2003

24

Factors of software process improvement success in small and large organizations

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 256 KB

english, 2003

25

Context-sensitive slicing of concurrent programs

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 502 KB

english, 2003

26

Differences between versions of UML diagrams

Ohst, Dirk, Welle, Michael, Kelter, Udo

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 198 KB

english, 2003

27

Verified systems by composition from verified components

Xie, Fei, Browne, James C.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 146 KB

english, 2003

28

Towards the compositional verification of real-time UML designs

Giese, Holger, Tichy, Matthias, Burmester, Sven, Flake, Stephan

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 226 KB

english, 2003

29

Protecting C programs from attacks via invalid pointer dereferences

Yong, Suan Hsi, Horwitz, Susan

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 514 KB

english, 2003

30

Composing architectural styles from architectural primitives

Mehta, Nikunj R., Medvidovic, Nenad

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 219 KB

english, 2003

31

Towards an engineering tool for implementing reusable distributed control systems

Thramboulidis, Kleanthis C.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 196 KB

english, 2003

32

Assessing software projects

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 210 KB

english, 2003

33

Formulation and preliminary test of an empirical theory of coordination in software engineering

Herbsleb, James D., Mockus, Audris

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 277 KB

english, 2003

34

Ontology support for web service processes

Pahl, C., Casey, M.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 196 KB

english, 2003

35

Eliminating redundancies with a "composition with adaptation" meta-programming technique

Jarzabek, Stan, Shubiao, Li

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 291 KB

english, 2003

36

A strategy for efficiently verifying requirements

Jeffords, Ralph D., Heitmeyer, Constance L.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 238 KB

english, 2003

37

Deadline analysis of interrupt-driven software

Brylow, Dennis, Palsberg, Jens

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 211 KB

english, 2003

38

Behaviour model elaboration using partial labelled transition systems

Uchitel, Sebastian, Kramer, Jeff, Magee, Jeff

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 299 KB

english, 2003

39

Validating UML models against architectural profiles

Selonen, Petri, Xu, Jianli

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 155 KB

english, 2003

40

A family of test adequacy criteria for database-driven applications

Kapfhammer, Gregory M., Soffa, Mary Lou

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 258 KB

english, 2003

41

A fault-tolerant software architecture for COTS-based software systems

Asterio de C. Guerra, Paulo, Rubira, Cec?lia Mary F., Romanovsky, Alexander, de Lemos, Rog?rio

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 181 KB

english, 2003