dblp.uni-trier.dewww.uni-trier.de

Aleksandar Milicevic Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
4EEDerek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson: Equality and hashing for (almost) free: Generating implementations from abstraction functions. ICSE 2009: 342-352
3EEDerek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson: Agile specifications. OOPSLA Companion 2009: 999-1006
2007
2EESasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov: Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE 2007: 135-144
1EEAleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid: Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE 2007: 771-774

Coauthor Index

1Zev Benjamin [4]
2Greg Dennis [3]
3Daniel Jackson [3] [4]
4Sarfraz Khurshid [1] [2]
5Darko Marinov [1] [2]
6Sasa Misailovic [1] [2]
7Joseph P. Near [4]
8Nemanja Petrovic [2]
9Derek Rayside [3] [4]
10Rishabh Singh [4]
11Kuat Yessenov [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)