Search the dblp DataBase

Publications of Author

1. I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra
   Web Cube. [Citation Graph (0, 0)][DBLP]
   FORTE, 2006, pp:77-92 [Conf]
   
2. I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra
   A UNITY-Based Framework Towards Component Based Systems. [Citation Graph (0, 0)][DBLP]
   OPODIS, 2004, pp:52-66 [Conf]
   
3. I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, A. Van Leeuwen
   Building Verification Condition Generators by Compositional Extensions. [Citation Graph (0, 0)][DBLP]
   SEFM, 2005, pp:220-230 [Conf]
   
4. Tanja E. J. Vos, S. Doaitse Swierstra
   Make your Enemies Transparent. [Citation Graph (0, 0)][DBLP]
   WG, 1997, pp:342-353 [Conf]
   
5. Tanja E. J. Vos, S. Doaitse Swierstra
   Facilitating the Verification of Diffusing Computations and Their Applications. [Citation Graph (0, 0)][DBLP]
   CLEI Electron. J., 2005, v:8, n:1, pp:- [Journal]
   
6. 
   Evaluating the usefulness of a functional size measurement procedure to detect defects in MDD models. [Citation Graph (, )][DBLP]
   
   
7. 
   Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool. [Citation Graph (, )][DBLP]