A. Ganesh, and M. Draief. Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, page 34:1--34:8. ICST, Brussels, Belgium, Belgium, ICST Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, (2009)
A. Ganesh, and M. Draief. Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, page 34:1--34:8. ICST, Brussels, Belgium, Belgium, ICST Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, (2009)
Steven Prestwich. Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing, page 203--215. Berlin, Heidelberg, Springer-Verlag, (2005)
Steven Prestwich. Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing, page 203--215. Berlin, Heidelberg, Springer-Verlag, (2005)
Arjun Dasgupta, Gautam Das, and Heikki Mannila. Proceedings of the 2007 ACM SIGMOD international conference on Management of data, page 629--640. New York, NY, USA, ACM, (2007)
Arjun Dasgupta, Gautam Das, and Heikki Mannila. Proceedings of the 2007 ACM SIGMOD international conference on Management of data, page 629--640. New York, NY, USA, ACM, (2007)
Chen Avin, and Bhaskar Krishnamachari. Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems, page 219--228. New York, NY, USA, ACM, (2006)
Chen Avin, and Bhaskar Krishnamachari. Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems, page 219--228. New York, NY, USA, ACM, (2006)
Johan Oudinet. Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering ASE 2007, page 26--29. New York, NY, USA, ACM, (2007)
Johan Oudinet. Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering ASE 2007, page 26--29. New York, NY, USA, ACM, (2007)
Gerhard Hasslinger, and Sebastian Kempken. Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, page 80:1--80:8. ICST, Brussels, Belgium, Belgium, ICST Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, (2007)
Gerhard Hasslinger, and Sebastian Kempken. Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, page 80:1--80:8. ICST, Brussels, Belgium, Belgium, ICST Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, (2007)