Stem specicif$ (all stems)
1 papers:
- FME-2003-BouquetL #case study #execution #generative #java #testing #transaction
- Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.