Travelled to:
1 × South Korea
2 × USA
Collaborated with:
D.Ganesan M.Lindvall M.Bartholomew H.Femmer C.Ackermann S.Slegel B.Medina
Talks about:
architectur (2) softwar (2) product (2) flight (2) line (2) inconsist (1) wrapper (1) verifi (1) detect (1) design (1)
Person: David McComas
DBLP: McComas:David
Contributed to:
Wrote 3 papers:
- ICSE-2013-FemmerGLM #case study #consistency #detection #nondeterminism
- Detecting inconsistencies in wrappers: a case study (HF, DG, ML, DM), pp. 1022–1031.
- SPLC-2010-GanesanLMBSM #architecture #product line #testing
- Architecture-Based Unit Testing of the Flight Software Product Line (DG, ML, DM, MB, SS, BM), pp. 256–270.
- SPLC-2009-GanesanLAMB #architecture #design #product line #verification
- Verifying architectural design rules of the flight software product line (DG, ML, CA, DM, MB), pp. 161–170.