Travelled to:1 × Italy
Collaborated with:M.Cristiá P.Albertengo
Talks about:test (2) contradict (1) framework (1) mathemat (1) templat (1) detect (1) prune (1) tree (1)
Person: Pablo Rodríguez Monetti
DBLP: Monetti:Pablo_Rodr=iacute=guez
Contributed to:
2010Wrote 1 papers:
- SEFM-2010-CristiaAM #detection #framework #testing
- Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions (MC, PA, PRM), pp. 268–277.