Travelled to:1 × Canada
1 × France
Collaborated with:M.D.Penta G.A.D.Lucca G.Antoniol A.Santone M.L.Villani G.Vaglini
Talks about:softwar (2) model (2) multithread (1) traceabl (1) recoveri (1) classifi (1) approach (1) request (1) program (1) mainten (1)
Person: Sara Gradara
DBLP: Gradara:Sara
Contributed to:
2004
2002
2002Wrote 3 papers:
- LDTA-2004-GradaraSVV #model checking #modelling #parallel #source code #thread
- Model Checking Multithreaded Programs by Means of Reduced Models (SG, AS, MLV, GV), pp. 55–74.
- ICSM-2002-LuccaPG #approach #maintenance
- An Approach to Classify Software Maintenance Requests (GADL, MDP, SG), pp. 93–102.
- IWPC-2002-PentaGA #traceability
- Traceability Recovery in RAD Software Systems (MDP, SG, GA), pp. 207–216.