| |
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.
|