Darko Marinov
发表
Gul Agha,
Koushik Sen,
Darko Marinov,
2006
.
Darko Marinov,
Karl Palmskog,
Farah Hariri,
2015,
SOEN.
Yu Lin,
Darko Marinov,
Vilas Jagannath,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Grigore Rosu,
Darko Marinov,
Vilas Jagannath,
2011,
ESEC/FSE '11.
Darko Marinov,
Victoria Stodden,
Angello Astorga,
2020,
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE).
Darko Marinov,
Farah Hariri,
Owolabi Legunsen,
2018,
2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE).
Darko Marinov,
Vilas Jagannath,
Yun Young Lee,
2009,
FASE.
Darko Marinov,
Wolfram Schulte,
2008,
ISSTA '08.
Sarfraz Khurshid,
Darko Marinov,
Alex Gyori,
2017,
SOEN.
Sarfraz Khurshid,
Darko Marinov,
Daniel Jackson,
2003,
SAT.
Sarfraz Khurshid,
Darko Marinov,
Jiayi Yang,
2020,
ESEC/SIGSOFT FSE.
Veljko M. Milutinovic,
Aleksandar Milenkovic,
Darko Marinov,
2000,
Proceedings 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (Cat. No.PR00728).
Axel Legay,
Darko Marinov,
Gul A. Agha,
2012,
FMOODS/FORTE.
Marcelo d'Amorim,
Darko Marinov,
Jennifer C. Hou,
2007
.
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2003
.
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code
Thomas R. Gross,
Darko Marinov,
Michael Pradel,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Darko Marinov,
Gul A. Agha,
Rajesh K. Karmani,
2010,
FSE '10.
Daniel Jackson,
Sarfraz Khurshid,
Darko Marinov,
2002
.
Rupak Majumdar,
Darko Marinov,
Milos Gligoric,
2014,
CAV.
Darko Marinov,
Farah Hariri,
Owolabi Legunsen,
2016,
SIGSOFT FSE.
Gordon Fraser,
Darko Marinov,
Andrea Arcuri,
2011,
FASE.
Darko Marinov,
Danny Dig,
Vilas Jagannath,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Sarfraz Khurshid,
Viktor Kuncak,
Darko Marinov,
2008
.
Sarfraz Khurshid,
Darko Marinov,
Sasa Misailovic,
2007,
29th International Conference on Software Engineering (ICSE'07).
Darko Marinov,
Jonathan Bell,
Michael Hilton,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Sarfraz Khurshid,
Darko Marinov,
Yun Young Lee,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Sarfraz Khurshid,
Darko Marinov,
Junaid Haroon Siddiqui,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Darko Marinov,
Robert O'Callahan,
2003,
OOPSLA.
How good are the specs? A study of the bug-finding effectiveness of existing Java API specifications
Grigore Rosu,
Darko Marinov,
Owolabi Legunsen,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Sarfraz Khurshid,
Darko Marinov,
Farah Hariri,
2016,
2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE).
Darko Marinov,
Jonathan Bell,
August Shi,
2019,
ISSTA.
Tao Xie,
David Notkin,
Darko Marinov,
2004
.
David Notkin,
Tao Xie,
Jianjun Zhao,
2006,
2006 17th International Symposium on Software Reliability Engineering.
Karrie Karahalios,
Brian P. Bailey,
Darko Marinov,
2018,
Proc. ACM Hum. Comput. Interact..
Sarfraz Khurshid,
Allison Sullivan,
Darko Marinov,
2014,
SPIN.
Marcelo d'Amorim,
Darko Marinov,
Marcelo d’Amorim,
2007
.
Marcelo d'Amorim,
Michael D. Ernst,
Darko Marinov,
2006,
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
David Notkin,
Tao Xie,
Darko Marinov,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Sarfraz Khurshid,
Marcelo d'Amorim,
Darko Marinov,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
Wing Lam,
Tao Xie,
Darko Marinov,
2019,
2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).
Josep Torrellas,
Darko Marinov,
Adrian Nistor,
2010,
2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture.
Samuel N. Kamin,
Darko Marinov,
Milos Gligoric,
2011,
ISSTA '11.
Sarfraz Khurshid,
Marcelo d'Amorim,
Darko Marinov,
2013,
ESEC/FSE 2013.
Michael Felderer,
Darko Marinov,
Rudolf Ramler,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Sarfraz Khurshid,
Darko Marinov,
Nemanja Petrovic,
2007,
ESEC-FSE '07.
Darko Marinov,
Alex Gyori,
August Shi,
2015,
ESEC/SIGSOFT FSE.
Jeffrey Overbey,
Darko Marinov,
Munawar Hafiz,
2013,
ECOOP.
Alex Groce,
Darko Marinov,
Lingming Zhang,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Sarfraz Khurshid,
Darko Marinov,
Bassem Elkarablieh,
2008,
ISSTA '08.
Mauro Pezzè,
Darko Marinov,
Danny Dig,
2011,
ETSE '11.
Darko Marinov,
Gul A. Agha,
Vilas Jagannath,
2010,
2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
Sarfraz Khurshid,
Darko Marinov,
Chandrasekhar Boyapati,
2012,
KDD 2012.
Sarfraz Khurshid,
Darko Marinov,
Konstantine Arkoudas,
2003,
RelMiCS.
Darko Marinov,
Daniel Jackson,
Milos Gligoric,
2013,
Onward!.
Darko Marinov,
D. Marinov,
2010,
International Symposium on Software Testing and Analysis.
Veljko M. Milutinovic,
Aleksandar Milenkovic,
Darko Marinov,
1998,
Proceedings of the Thirty-First Hawaii International Conference on System Sciences.
Darko Marinov,
Danny Dig,
Kai Huang,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Gordon Fraser,
Darko Marinov,
2017,
Softw. Test. Verification Reliab..
Alex Groce,
Chaoqiang Zhang,
Darko Marinov,
2015,
ACM Trans. Softw. Eng. Methodol..
Sarfraz Khurshid,
Martin Rinard,
Alexandr Andoni,
2003
.
Darko Marinov,
Danny Dig,
Vilas Jagannath,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Darko Marinov,
Sarita V. Adve,
Abdulrahman Mahmoud,
2019,
ASPLOS.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
ESEC/SIGSOFT FSE.
Darko Marinov,
D. Marinov,
2005
.
Darko Marinov,
August Shi,
Peiyuan Zhao,
2019,
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).
Sarfraz Khurshid,
Darko Marinov,
Lingming Zhang,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Marcelo d'Amorim,
Darko Marinov,
Steven Lauterburg,
2008,
IEEE Trans. Software Eng..
Darko Marinov,
Vilas Jagannath,
Milos Gligoric,
2010,
2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
Sarfraz Khurshid,
Darko Marinov,
Chandrasekhar Boyapati,
2002,
ISSTA '02.
Darko Marinov,
Gul A. Agha,
Steven Lauterburg,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Darko Marinov,
Owolabi Legunsen,
Alex Gyori,
2016,
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Sarfraz Khurshid,
Darko Marinov,
Xiaoming Li,
2006,
Electron. Notes Theor. Comput. Sci..
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2018,
SQAMIA.
Darko Marinov,
Owolabi Legunsen,
Alex Gyori,
2016,
SIGSOFT FSE.
Darko Marinov,
Nicholas Nelson,
Danny Dig,
2017,
ESEC/SIGSOFT FSE.
Darko Marinov,
Brett Daniel,
Tihomir Gvero,
2010,
ISSTA '10.
Shan Lu,
Darko Marinov,
Linhai Song,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Grigore Rosu,
Darko Marinov,
Vilas Jagannath,
2010
.
William H. Sanders,
Marcelo d'Amorim,
Yuanyuan Zhou,
2007
.
Darko Marinov,
Gul A. Agha,
Rajesh K. Karmani,
2010,
FASE.
Sarfraz Khurshid,
Guowei Yang,
Darko Marinov,
2011,
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Grigore Rosu,
Darko Marinov,
Owolabi Legunsen,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2017,
SQAMIA.
Darko Marinov,
Nazareno Aguirre,
Marcelo F. Frias,
2014,
Softw. Test. Verification Reliab..
Darko Marinov,
Danny Dig,
Brett Daniel,
2007,
WRT.
Darko Marinov,
Farah Hariri,
Qingzhou Luo,
2014,
SIGSOFT FSE.
Darko Marinov,
Danny Dig,
Michael Hilton,
2016
.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
ABZ.
Yi Zhang,
Darko Marinov,
Owolabi Legunsen,
2019,
2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).
Darko Marinov,
Vilas Jagannath,
Milos Gligoric,
2013,
Softw. Test. Verification Reliab..
Josep Torrellas,
Darko Marinov,
Adrian Nistor,
2009,
2009 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
Atul Prakash,
Darko Marinov,
Meiyappan Nagappan,
2019,
OSS.
Sarfraz Khurshid,
Marcelo d'Amorim,
Darko Marinov,
2015,
SPLC.
Tingting Yu,
Darko Marinov,
Tingting Yu,
2017,
ISSTA 2017.
Darko Marinov,
Farah Hariri,
August Shi,
2019,
2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).
Mahesh Viswanathan,
Darko Marinov,
Ahmed Sobeih,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
Darko Marinov,
Milos Gligoric,
Peter C. Mehlitz,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Darko Marinov,
Owolabi Legunsen,
August Shi,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Tao Xie,
Wing Lam,
Darko Marinov,
2020,
Proc. ACM Program. Lang..
Koushik Sen,
Darko Marinov,
Gul A. Agha,
2005,
ESEC/FSE-13.
Marcelo d'Amorim,
Darko Marinov,
Steven Lauterburg,
2007,
IEEE Transactions on Software Engineering.
David Notkin,
Darko Marinov,
Tao Xie,
2004
.
Sarfraz Khurshid,
Viktor Kuncak,
Darko Marinov,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Jianjun Zhao,
Darko Marinov,
Hao Zhong,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Darko Marinov,
Owolabi Legunsen,
Lingming Zhang,
2019,
Proc. ACM Program. Lang..
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
ABZ.
Darko Marinov,
Owolabi Legunsen,
Jonathan Bell,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Ralph E. Johnson,
Darko Marinov,
Danny Dig,
2006,
ECOOP.
Stas Negara,
Darko Marinov,
Owolabi Legunsen,
2014,
ASE.
Sarfraz Khurshid,
Darko Marinov,
Junaid Haroon Siddiqui,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Rupak Majumdar,
Darko Marinov,
Milos Gligoric,
2014
.
Sarfraz Khurshid,
Darko Marinov,
Chandrasekhar Boyapati,
2012,
KDD 2012.
Darko Marinov,
Rados Radoicic,
D. Marinov,
2003,
Electron. J. Comb..
Mahesh Viswanathan,
Jennifer C. Hou,
Darko Marinov,
2005,
ICFEM.
Sarfraz Khurshid,
Darko Marinov,
Milos Gligoric,
2009,
2009 International Conference on Software Testing Verification and Validation.
Wai-Tat Fu,
Karrie Karahalios,
Brian P. Bailey,
2017,
CHI.
Darko Marinov,
Victoria Stodden,
August Shi,
2019,
P-RECS@HPDC.
Martin Rinard,
Darko Marinov,
M. Rinard,
1999
.
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2004,
Automated Software Engineering.
Sarfraz Khurshid,
Lu Zhang,
Darko Marinov,
2011,
2011 IEEE 22nd International Symposium on Software Reliability Engineering.
Josep Torrellas,
Darko Marinov,
Mengjia Yan,
2020,
2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
Darko Marinov,
Danny Dig,
Brett Daniel,
2007,
ESEC-FSE '07.
Tianyin Xu,
Darko Marinov,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER).
Alex Groce,
Chaoqiang Zhang,
Darko Marinov,
2013,
ISSTA.
Aleksandar Milenkovic,
Darko Marinov,
Jovan Djordjevic,
1999,
WCAE-5 '99.
Sarfraz Khurshid,
Darko Marinov,
Daniel Jackson,
2002,
OOPSLA '02.
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2002,
FME.
Sarfraz Khurshid,
Lu Zhang,
Darko Marinov,
2012,
ISSTA 2012.
Darko Marinov,
Vilas Jagannath,
Qingzhou Luo,
2011,
ISSTA '11.
Gary T. Leavens,
Darko Marinov,
Lin Tan,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Darko Marinov,
Abdulrahman Mahmoud,
Radha Venkatagiri,
2019,
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Darko Marinov,
Nazareno Aguirre,
Marcelo F. Frias,
2012,
TAP@TOOLS.
Ralph E. Johnson,
Darko Marinov,
Yun Young Lee,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Darko Marinov,
Robert O'Callahan,
2003,
OOPSLA 2003.
David Notkin,
Tao Xie,
Darko Marinov,
2005,
TACAS.
Sarfraz Khurshid,
Darko Marinov,
Lingming Zhang,
2013,
ISSTA.
Karrie Karahalios,
Brian P. Bailey,
Darko Marinov,
2020,
CHI.
Darko Marinov,
Corina S. Păsăreanu,
C. Pasareanu,
2014,
ISSTA 2014.
Grigore Rosu,
Darko Marinov,
Vilas Jagannath,
2010,
IWMSE '10.
Darko Marinov,
Alex Gyori,
August Shi,
2018,
ISSTA.
Sarfraz Khurshid,
Darko Marinov,
S. Khurshid,
2001,
Workshop on Software Model Checking @ CAV.
Darko Marinov,
Milos Gligoric,
Lamyaa Eloussi,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Sarfraz Khurshid,
Allison Sullivan,
Darko Marinov,
2019,
ICFEM.
Darko Marinov,
Milos Gligoric,
Alex Gyori,
2014,
SIGSOFT FSE.
Mahesh Viswanathan,
Jennifer C. Hou,
Darko Marinov,
2007,
2007 IEEE International Parallel and Distributed Processing Symposium.
Sarfraz Khurshid,
Darko Marinov,
Martin C. Rinard,
2005,
SAT.
Darko Marinov,
Milos Gligoric,
Lamyaa Eloussi,
2015,
ISSTA.
Marcelo d'Amorim,
Jennifer C. Hou,
Darko Marinov,
2010,
Simul..
Darko Marinov,
Vilas Jagannath,
Milos Gligoric,
2010,
2010 Third International Conference on Software Testing, Verification and Validation.
Tao Xie,
Darko Marinov,
Kunal Taneja,
2007,
Second International Workshop on Automation of Software Test (AST '07).
Sarfraz Khurshid,
Darko Marinov,
Chandrasekhar Boyapati,
2012,
FSE 2012.
Alex Groce,
Darko Marinov,
Rahul Gopinath,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Tao Xie,
Wing Lam,
Darko Marinov,
2019,
ESEC/SIGSOFT FSE.
Per Runeson,
Adam A. Porter,
Shin Yoo,
2010,
Practical Software Testing: Tool Automation and Human Factors.
Josep Torrellas,
Klara Nahrstedt,
Thomas S. Huang,
2013
.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE).
Darko Marinov,
Farah Hariri,
Alex Gyori,
2015,
ISSTA.
Marcelo d'Amorim,
Darko Marinov,
Ahmed Sobeih,
2006,
ICFEM.
Ralph E. Johnson,
Brian P. Bailey,
Darko Marinov,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
Darko Marinov,
Owolabi Legunsen,
Wajih Ul Hassan,
2019,
Automated Software Engineering.
Tianyin Xu,
Darko Marinov,
Lingming Zhang,
2021,
ISSTA.
Darko Marinov,
Anjiang Wei,
Wing Lam,
2020,
Proc. ACM Program. Lang..
Tao Xie,
Darko Marinov,
Anjiang Wei,
2021,
ACM SIGSOFT Softw. Eng. Notes.
Tao Xie,
Darko Marinov,
Anjiang Wei,
2021,
TACAS.
Darko Marinov,
Victoria Stodden,
Peilun Zhang,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Darko Marinov,
2006
.