The University of Insubria.
The University of Insubria The University of Insubria The University of Insubria The University of Indubria
The University of Insubria The University of Insubria logo The University of Insubria image bar  
The University of Insubria
The Univsersity of Insubria

 
The University of Insubria CV
The University of Insubria CV
The University of Insubria CV The University of Insubria CV Sandro Morasca
The University of Insubria CV
 

Contact data

Full Professor
Department of the Sciences of Culture, Politics and Information
Indirizzo (ad uso postale): Via Valleggio 11, I-22100 Como, Italy
Tel: + 39-031-2386228
Fax: + 39-031-2386309
E-mail: sandro.morasca@uninsubria.it

 

Biography

Sandro Morasca graduated (cum laude ) in Electrical Engineering (Italian Laurea in Ingegneria Elettronica) at the Politecnico di Milano, Milano (Italy) in 1985.

He obtained his Ph.D. in Computer Science at the Dipartimento di Elettronica of the Politecnico di Milano in 1991.

He spent two years as a Faculty Research Assistant at the Institute for Advanced Computer Studies of the University of Maryland at College Park.

He was an Assistant Professor of Computer Science at the Politecnico di Milano from 1993 to 1998, and an Associate Professor of Computer Science at the Politecnico di Milano from 1998 to 2000. From October 1999 to February 2000, he spent a sabbatical period at the Computer Science Department of the University of Maryland.

He currently is a Full Professor of Computer Science at the University of Insubria.

 

Research interests

Prof. Morasca's research interests are in Software Engineering and include the following areas.

Empirical Software Engineering:

1. Assessment of the practical usefulness of existing measures with case studies on real projects.

2. Measures for the artifacts produced during the software specification and design phases.

3. Theoretical issues about the sound definition of software measures.

4. Web applications: effort needed to develop them and influencing factors.

5. Innovative data analysis techniques.

6. The relationship between Software Engineering Education and Empirical Software Engineering.

Software Verification

1. Verification of software specifications and software applications based on operational models.

2. Derivation of test data from software specifications written with temporal logic.

3. Analytical studies on the comparison of different testing techniques.

4. Automation of the derivation of test cases for the testing of Web application generators.

5. Mutation analysis.

6. Testing stopping rule.

Specification of Concurrent and Real-time Systems

1. Definition of operational models based on High-Level Petri Nets.
 

Teaching experience and appointments

Prof. Morasca has taught several courses, including:

• Introductory Programming
• Software Design
• Software Engineering
 

Representative  publications

Journal Papers

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè, “Symbolic Execution of Concurrent Programs Using Petri Nets”, Computer Languages, Vol. 14, pp. 263-281, Dec. 1989, Pergamon Press, ISSN 0096-0551.

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè, “A Unified High-level Petri Net Model for Time-critical Systems”, IEEE Transactions on Software Engineering, Vol. SE-17, pp. 160-172, Feb. 1991, ISSN: 0098-5589.

Sandro Morasca, Mauro Pezzè, Marco Trubian, “Timed High-level Nets”, The Journal of Realtime Systems, Vol. 3, pp. 165-189, Jul. 1991, ISSN: 0922-6443.

Carlo Ghezzi, Sandro Morasca, Mauro Pezzè, “Validating Timing Requirements for TB Net Specifications”, The Journal of Systems and Software, Vol. 27, n. 7, pp. 97-117, Nov. 1994, ISSN: 0164-1212.

Dino Mandrioli, Sandro Morasca, Angelo Morzenti, “Generating Test Cases for Real-Time Systems from Logic Specifications”, ACM Transactions on Computer Systems, Vol 13. n. 4, pp. 365 - 398, Nov. 1995, ISSN: 0734-2071.

Lionel Briand, Sandro Morasca, Victor Basili, “Property-based Software Engineering Measurement”, IEEE Transactions on Software Engineering, pp. 68-86, Jan. 1996, ISSN: 0098-5589.

Lionel Briand, Khaled El Emam, Sandro Morasca, “On the Application of Measurement Theory in Software Engineering”, Empirical Software Engineering: An International Journal, Vol. 1, n. 1, pp. 61 - 88, 1996, ISSN: 0098-5589.

Sandro Morasca, “Assessment of Fault Detection Processes: An Approach Based on Reliability Techniques”, IEEE Transactions on Reliability, Vol. TR-45, pp. 632 - 637, Dec. 1996, ISSN 0018-9529.

Sandro Morasca, Lionel Briand, Victor Basili, Elaine Weyuker, Marv Zelkowitz, “Comments on “Towards a Framework for Software Measurement Validation””, IEEE Transactions on Software Engineering, pp. 187 - 188, Mar. 1997 (correspondence paper), ISSN: 0098-5589.

Lionel Briand, Sandro Morasca, Victor Basili, “Response to: Comments on “Property-based Software Enginering Measurement: Refining the Additivity Property””, IEEE Transactions on Software Engineering, pp. 196 - 197, Mar. 1997 (correspondence paper), ISSN: 0098-5589.

Sandro Morasca, “Applying QIP/GQM in a Maintenance Project”, Empirical Software Engineering: An International Journal, Vol. 2, No. 2, 1997, pp. 161 - 164 (position paper), ISSN: 1382-3256.

Lionel Briand, Khaled El Emam, Sandro Morasca, “Reply to “Comments to the Paper: Briand, El Emam, Morasca: On the Application of Measurement Theory in Software Engineering””, Empirical Software Engineering: An International Journal, 1997 (correspondence paper), ISSN: 1382-3256.

Alfonso Fuggetta, Luigi Lavazza, Sandro Morasca, Stefano Cinti, Giandomenico Oldano, Elena Orazi, “Applying G/Q/M in an Industrial Software Factory”, ACM Transactions on Software Engineering Methodology, Vol. 7, n. 4, pp. 411 - 448, Oct. 1998, ISSN: 1049- 331X.

Lionel Briand, Sandro Morasca, Victor Basili, “Defining and Validating Measures for Object-based High-Level Design”, IEEE Transactions on Software Engineering, Vol. SE-25, No.5, pp. 722 - 741, Sep./Oct. 1999, ISSN: 0098-5589.

Sandro Morasca, Guenther Ruhe, “Guest editors’ introduction of the Special issue on Knowledge Discovery from Software Engineering Data”, International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 5, pp. 496 - 498, Oct. 1999, ISSN: 0218-1940.

Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca, “Generation of Execution Sequences for Modular Time-dependent Systems”, IEEE Transactions on Software Engineering, Vol. SE-26, No. 2, pp. 128 - 149, Feb. 2000, ISSN: 0098-5589.

Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro, “A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO+”, Automated Software Engineering, Vol. 7, No. 2, pp. 125-155, May 2000, ISSN: 0928-8910.

Sandro Morasca, Guenther Ruhe, “A Hybrid Approach to Analyze Software Engineering Measurement Data and Its Application to Predict Module Fault-proneness in Maintenance”, The Journal of Systems and Software, Vol. 53, No. 3, pp. 225 - 237, Sep. 2000, ISSN: 0164-1212.

Lionel Briand, Sandro Morasca, Victor Basili, “An Operational Process for Goal-Driven Definition of Measures”, IEEE Transactions on Software Engineering, Vol. 28, No. 12, pp. 1106 - 1125, Dec. 2002, ISSN: 0098-5589.

Giovanni Denaro, Mauro Pezzè, Sandro Morasca, “Towards Industrially Relevant Models of Software Fault Proneness”, International Journal of Software Engineering and Knowledge Engineering, Vol. 13, No. 4, pp. 395-417, Aug. 2003, ISSN: 0218-1940.


Book Chapters

Sandro Morasca, “Software Measurement”, in “Handbook of Software Engineering and Knowledge Engineering - Volume 1: Fundamentals” (refereed book), pp. 239 - 276, Knowledge Systems Institute, Skokie, IL, USA, 2001, ISBN: 981-02- 4973-X.

Jeff Carter, Letizia Jaccheri, Sandro Morasca, Forrest Shull, “Using Empirical Studies during Software Courses”, in ”ESERNET Method and Experience Book” (refereed book), LNCS 2765, pp. 81 - 103, Springer-Verlag, 2003, ISBN: 3-540-40672-7.


Conference Papers

Sandro Morasca, Mauro Pezzè, “Validation of Concurrent Ada Programs Using Symbolic Execution”, 2nd European Software Engineering Conference, Coventry (GB), Sep. 1989, pp. 469-486, LNCS 387, Springer-Verlag, ISBN: 3-540-51635-2.

Lionel Briand, Sandro Morasca, “Useful Metrics Must Depend on a Process and a Goal”, International Workshop on Metrics in Software Maintenance, Montreal (Canada), Sep. 26, 1993.

Lionel Briand, Sandro Morasca, “Software Measurement and Formal Methods: a Case Study Centered on TRIO+ Specifications”, IEEE ICFEM’97 (IEEE International Conference on Formal Engineering Methods), Hiroshima (Giappone), Nov. 12 – 14, 1997, pp. 315 - 325, IEEE CS Press, ISSN: 0-8186-8002-4.

Luciano Baresi, Sandro Morasca, Paolo Paolini, “Estimating the Design Effort of Web Applications: a Case Study Centered on TRIO+ Specifications”, METRICS’03, Sep. 3 - 5 2003, Sydney (Australia), pp. 62 - 72, IEEE CS Press, ISBN: 0-7695-1987-3.

Jeff Carter, Letizia Jaccheri, Sandro Morasca, Forrest Shull, “Issues in Using Students in Empirical Studies in Software Engineering Education”, METRICS’03, Sep. 3 – 5, 2003, Sydney (Australia), pp. 239 - 249, IEEE CS Press, ISBN: 0-7695-1987-3.

Sandro Morasca, Stefano Serra Capizzano, “On the Analytical Comparison of Testing Techniques”, ISSTA 2004, Boston (USA), Jul. 11-14, 2004, pp. 154 - 164, ISBN 1-58113-820-2.

Sandro Morasca, “On the Definition and Use of Aggregate Indices for Nominal, Ordinal, and Other Scales”, METRICS’04, Sep. 14-16 2004, Chicago (USA), pp. 46 - 57, IEEE CS Press, ISBN: 0-7695-2129-0.

Luciano Baresi, Piero Fraternali, Massimo Tisi, Sandro Morasca, “Towards Model-Driven Testing of a Web Application Generator”, ICWE 2005, Jul. 25 – 29, 2005, Sydney (Australia), pp. 75 - 86, LNCS 3579, Springer-Verlag, ISBN 3-540-27996-2.

 
   
leftmenu univ of insubria
 
 
 
CV CV