Travelled to:1 × Denmark
1 × Germany
Collaborated with:M.J.F.Iglesias F.J.González-Castaño J.C.Burguillo-Rial J.M.P.Carballo A.R.Feijoo
Talks about:case (3) specif (2) studi (2) prototyp (1) protocol (1) heurist (1) complex (1) select (1) formal (1) driven (1)
Person: Martín Llamas Nistal
DBLP: Nistal:Mart=iacute=n_Llamas
Contributed to:
20022001Wrote 2 papers:
- FME-2002-Burguillo-RialIGN #case study #heuristic #specification #testing
- Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study (JCBR, MJFI, FJGC, MLN), pp. 57–76.
- FME-2001-IglesiasGCNF #case study #protocol #prototype #specification
- From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study (MJFI, FJGC, JMPC, MLN, ARF), pp. 436–448.