BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Poland
1 × United Kingdom
2 × Italy
3 × USA
Collaborated with:
M.Pezzè A.Morzenti P.S.Pietro G.Denaro L.C.Briand V.R.Basili L.Lavazza D.Taibi D.Tosi
Talks about:
softwar (4) measur (3) approach (2) program (2) system (2) specif (2) assess (2) empir (2) test (2) base (2)

♂ Person: Sandro Morasca

DBLP DBLP: Morasca:Sandro

Facilitated 2 volumes:

ASE 2010ExpertReviewPa
ASE 2010PrBoard

Contributed to:

SAC 20122012
SEKE 20082008
FASE 20032003
SEKE 20032003
SEKE 20022002
ASE 19981998
ISSTA 19961996
CSM 19931993
ESEC 19891989

Wrote 10 papers:

SAC-2012-LavazzaMTT #empirical #java #open source #reliability #source code
An empirical investigation of perceived reliability of open source Java programs (LL, SM, DT, DT), pp. 1109–1114.
SEKE-2008-Morasca #assessment #empirical
Subjective Assessment of the Mutual Influence of ISO 9126 Software Qualities: an Empirical Study (SM), pp. 297–302.
FASE-2003-Morasca #approach #metric
Foundations of a Weak Measurement-Theoretic Approach to Software Measurement (SM), pp. 200–215.
SEKE-2003-Morasca #approach #evaluation #testing
A Bayesian Approach to Software Testing Evaluation (SM), pp. 706–713.
SEKE-2002-DenaroMP #modelling
Deriving models of software fault-proneness (GD, SM, MP), pp. 361–368.
SEKE-2002-Morasca #classification #using
A proposal for using continuous attributes in classification trees (SM), pp. 417–424.
ASE-1998-MorzentiPM #analysis #automation #composition #specification
A Tool for Automated System Analysis based on Modular Specifications (AM, PSP, SM), pp. 2–11.
ISSTA-1996-MorascaMP #functional #generative #in the large #specification #testing
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications (SM, AM, PSP), pp. 39–52.
CSM-1993-BriandMB #design #maintenance
Measuring and Assessing Maintainability at the End of High Level Design (LCB, SM, VRB), pp. 88–97.
ESEC-1989-MorascaP #ada #concurrent #execution #source code #symbolic computation #using #validation
Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.