C. Pasareanu
发表
Matthew B. Dwyer,
Robby,
J. Corbett,
2000,
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
C. Pasareanu,
Colin Blundell,
D. Giannakopoulou,
2006,
SAVCBS '05.
Kyle D. Julian,
C. Barrett,
Sadjad Fouladi,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Corina S. Pasareanu,
Willem Visser,
Radek Pelánek,
2006,
ISSTA '06.
Corina S. Pasareanu,
Willem Visser,
Saswat Anand,
2007,
TACAS.
Tim Menzies,
Johann Schumann,
Corina S. Pasareanu,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Rishabh Singh,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2010,
CAV.
James C. Corbett,
Matthew B. Dwyer,
Corina S. Pasareanu,
2000,
ICSE.
C. Pasareanu,
D. Giannakopoulou,
M. Lowry,
2004
.
Corina S. Pasareanu,
Guy Katz,
Divya Gopinath,
2017,
ArXiv.
Gary T. Leavens,
Xuan-Bach D. Le,
C. Pasareanu,
2020
.
Jamieson M. Cobleigh,
C. Pasareanu,
D. Giannakopoulou,
2003
.
John Penix,
Corina S. Pasareanu,
Seungjoon Park,
2005,
Formal Methods Syst. Des..
Colin Blundell,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2006,
SAVCBS '05.
Tim Menzies,
Corina S. Pasareanu,
C. Pasareanu,
2015
.
Matthew B. Dwyer,
Corina S. Pasareanu,
Willem Visser,
2014
.
C. Pasareanu,
O. Grumberg,
Sarai Sheinvald,
2022,
International Journal on Software Tools for Technology Transfer.
Darko Marinov,
Corina S. Păsăreanu,
C. Pasareanu,
2014,
ISSTA 2014.
Kedar S. Namjoshi,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2018,
Handbook of Model Checking.
Corina S. Pasareanu,
Dimitra Giannakopoulou,
C. Pasareanu,
2010,
IET Softw..
Sarfraz Khurshid,
Koushik Sen,
Cyrille Artho,
2005
.
C. Pasareanu,
D. Gopinath,
Youcheng Sun,
2022,
RV.
Xin Li,
Stanley Bak,
Huafeng Yu,
2017,
IET Cyper-Phys. Syst.: Theory & Appl..
Hong Jin Kang,
C. Pasareanu,
Chaiyong Ragkhitwetsagul,
2022,
ArXiv.
Ravi Mangal,
C. Pasareanu,
Matt Fredrikson,
2022,
ICLR.
Marcelo d'Amorim,
Corina S. Pasareanu,
Willem Visser,
2014,
PLDI.
Marcelo d'Amorim,
Corina S. Pasareanu,
Mateus Borges,
2011,
NASA Formal Methods.
Matthew B. Dwyer,
Corina S. Pasareanu,
Willem Visser,
2003,
International Journal on Software Tools for Technology Transfer.
Matthew B. Dwyer,
Corina S. Pasareanu,
Willem Visser,
2001,
TACAS.
Corina S. Pasareanu,
Matthew Staats,
C. Pasareanu,
2010,
ISSTA '10.
Bryan Parno,
Ravi Mangal,
C. Pasareanu,
2021,
NSV/FoMLAS@CAV.
Corina S. Pasareanu,
Guy Katz,
Haoze Wu,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Corina S. Pasareanu,
Misty Davies,
Vishwanath Raman,
2012,
VSTTE.
Yannic Noller,
Divya Gopinath,
Corina Pasareanu,
2021,
CAV.
C. Pasareanu,
D. Gopinath,
Ankur Taly,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Sarfraz Khurshid,
Corina S. Pasareanu,
Willem Visser,
2004,
ISSTA '04.
Marcelo F. Frias,
Corina S. Pasareanu,
Willem Visser,
2015,
SPIN.
Sarfraz Khurshid,
Kaiyuan Wang,
Corina S. Pasareanu,
2018,
ArXiv.
Corina S. Pasareanu,
Bryan Parno,
Matt Fredrikson,
2020,
ICLR.
Gary T. Leavens,
Corina S. Pasareanu,
David R. Cok,
2021,
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).
Yannic Noller,
Divya Gopinath,
Corina S. Păsăreanu,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
C. Pasareanu,
S. Seshia,
D. Gopinath,
2019,
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Matthew B. Dwyer,
Corina S. Pasareanu,
Oksana Tkachuk,
2003,
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
W. Visser,
C. Pasareanu,
J. Penix,
2005,
Formal Methods Syst. Des..
Corina S. Pasareanu,
Dimitra Giannakopoulou,
Jamieson M. Cobleigh,
2004,
Proceedings. 26th International Conference on Software Engineering.
Matthew B. Dwyer,
Corina S. Pasareanu,
Willem Visser,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
George S. Avrunin,
James C. Corbett,
Matthew B. Dwyer,
1999
.
Michael Huth,
Matthew B. Dwyer,
Corina S. Pasareanu,
1999,
SPIN.
Matthew B. Dwyer,
Corina S. Pasareanu,
C. Pasareanu,
1998,
SIGSOFT '98/FSE-6.
Matthew B. Dwyer,
Corina S. Pasareanu,
C. Pasareanu,
1998,
Generic Programming.
Corina S. Pasareanu,
C. Pasareanu,
B. Dwyer,
1998
.
Koushik Sen,
Rohan Padhye,
Willem Visser,
2019,
SOEN.
Sarfraz Khurshid,
Corina S. Pasareanu,
Willem Visser,
2003,
TACAS.
Corina S. Pasareanu,
Manuela L. Bujorianu,
Michael Fisher,
1997
.
Matthew B. Dwyer,
Sebastian G. Elbaum,
Corina S. Pasareanu,
2008,
SIGSOFT '08/FSE-16.
Michael R. Lowry,
Corina S. Pasareanu,
David H. Bushnell,
2008,
ISSTA '08.
Matthew B. Dwyer,
Corina S. Pasareanu,
John Hatcliff,
2013,
The Essence of Computation.
Corina S. Pasareanu,
Yannic Noller,
Rody Kersten,
2018,
ISSTA.
Lawrence Z. Markosian,
Corina S. Pasareanu,
Willem Visser,
2008
.
Corina S. Pasareanu,
Willem Visser,
W. Visser,
2009,
International Journal on Software Tools for Technology Transfer.
Corina S. Pasareanu,
Kasper Søe Luckow,
Rody Kersten,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Edmund M. Clarke,
Corina S. Pasareanu,
S. Chaki,
2013
.
Corina S. Pasareanu,
Dimitra Giannakopoulou,
C. Pasareanu,
2009,
FASE.
Colin Blundell,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2008,
IET Softw..
Corina S. Pasareanu,
Dimitra Giannakopoulou,
Mihaela Gheorghiu Bobaru,
2008,
CAV.
Howard Barringer,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2008,
Formal Methods Syst. Des..
Corina S. Pasareanu,
Dimitra Giannakopoulou,
Michael Emmi,
2008,
FM.
Matthew B. Dwyer,
Corina S. Pasareanu,
Willem Visser,
2007,
Future of Software Engineering (FOSE '07).
Corina S. Pasareanu,
Dimitra Giannakopoulou,
Mihaela Gheorghiu Bobaru,
2007,
TACAS.
Corina S. Pasareanu,
Dimitra Giannakopoulou,
C. Pasareanu,
2006,
SPIN.
Corina S. Pasareanu,
Dimitra Giannakopoulou,
Jamieson M. Cobleigh,
2003,
TACAS.
Howard Barringer,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2002,
Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Howard Barringer,
Corina S. Pasareanu,
Dimitra Giannakopolou,
2003
.
Sarfraz Khurshid,
Kaiyuan Wang,
Corina S. Pasareanu,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Corina S. Pasareanu,
Willem Visser,
W. Visser,
2017,
SAICSIT '17.
Guowei Yang,
Corina S. Pasareanu,
Antonio Filieri,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Corina S. Pasareanu,
Willem Visser,
Jaco Geldenhuys,
2014,
Software Engineering & Management.
Corina S. Pasareanu,
Willem Visser,
Antonio Filieri,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Corina S. Pasareanu,
Willem Visser,
Jaco Geldenhuys,
2013,
Automated Software Engineering.
Corina S. Pasareanu,
Yannic Noller,
Shirin Nilizadeh,
2018,
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
Tevfik Bultan,
Corina S. Pasareanu,
Abdulbaki Aydin,
2016,
SIGSOFT FSE.
Corina S. Pasareanu,
Pasquale Malacaria,
Quoc-Sang Phan,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
C. Pasareanu,
B. Steffen,
Falk Howar,
2014,
International Journal on Software Tools for Technology Transfer.
Corina S. Pasareanu,
Arthur Azevedo de Amorim,
Zichao Zhang,
2021,
International Workshop on Formal Aspects of Component Software.
Corina S. Pasareanu,
Yannic Noller,
Rody Kersten,
2018,
International Symposium on Software Testing and Analysis.
Yannic Noller,
Youcheng Sun,
Marcel Böhme,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Corina S. Păsăreanu,
C. Pasareanu,
C. Păsăreanu,
2020,
Symbolic Execution and Quantitative Reasoning.
Corina S. Pasareanu,
Willem Visser,
Aymeric Fromherz,
2019,
TACAS.
W. Visser,
C. Pasareanu,
X. Le,
2019
.
Corina S. Pasareanu,
Kasper Søe Luckow,
Rody Kersten,
2017,
CCS.
Sarfraz Khurshid,
Guowei Yang,
Corina S. Pasareanu,
2012,
ISSTA 2012.
Corina S. Pasareanu,
Neha Rungta,
C. Pasareanu,
2010,
ASE.
Sarfraz Khurshid,
Koushik Sen,
Nikolai Tillmann,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Corina S. Pasareanu,
Aymeric Fromherz,
Kasper Søe Luckow,
2017,
SOEN.
Corina S. Pasareanu,
Willem Visser,
Neha Rungta,
2011,
ISSTA '11.
Sarfraz Khurshid,
Kaiyuan Wang,
Divya Gopinath,
2019,
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).
Bent Thomsen,
Corina S. Pasareanu,
Kasper Søe Luckow,
2015,
EURASIP J. Embed. Syst..
Corina S. Pasareanu,
Dimitra Giannakopoulou,
Domenico Bianculli,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Gary T. Leavens,
Corina S. Pasareanu,
Amirfarhad Nilizadeh,
2021,
TAP@STAF.
Michael R. Lowry,
Sarfraz Khurshid,
Koushik Sen,
2005,
Theor. Comput. Sci..
Corina S. Pasareanu,
Limin Jia,
Ruben Martins,
2021,
ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Gabor Karsai,
Tevfik Bultan,
Corina S. Pasareanu,
2020
.
Tim Menzies,
Corina S. Pasareanu,
C. Pasareanu,
2015,
International Conference on Automated Software Engineering.
Corina S. Pasareanu,
David H. Bushnell,
David Bushnell,
2008
.
Corina S. Pasareanu,
Guy Katz,
Divya Gopinath,
2018,
ATVA.
Corina S. Pasareanu,
Robert Morris,
Sven Koenig,
2016,
AAAI Workshop: Planning for Hybrid Systems.
Sam Malek,
Corina S. Pasareanu,
Naeem Esfahani,
2012,
ACM SIGSOFT Softw. Eng. Notes.
Ravi Mangal,
C. Pasareanu,
2022,
NSV/FoMLAS@CAV.
Antonio Filieri,
Divya Gopinath,
Corina S. Păsăreanu,
2020,
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE).
Orna Grumberg,
Corina S. Pasareanu,
Sharon Shoham,
2015,
Formal Aspects of Computing.
Sarfraz Khurshid,
Guowei Yang,
Corina S. Pasareanu,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
Sarfraz Khurshid,
Corina S. Pasareanu,
Rui Qiu,
2016,
ATVA.
Ankur Taly,
Corina S. Pasareanu,
Hayes Converse,
2019,
ArXiv.
N. Matni,
C. Pasareanu,
Hamed Hassani,
2022,
2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML).
Corina S. Pasareanu,
Bryan Parno,
Matt Fredrikson,
2021,
ArXiv.
Corina S. Pasareanu,
Han Zhang,
Jiaoyang Li,
2019
.
C. Pasareanu,
G. Leavens,
Yannic Noller,
2023,
Formal Aspects of Computing.
Tevfik Bultan,
Corina S. Pasareanu,
Pasquale Malacaria,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Ewen Denney,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2009
.
Limin Jia,
Corina S. Pasareanu,
Arthur Azevedo de Amorim,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Marcelo d'Amorim,
Corina S. Pasareanu,
Pasquale Malacaria,
2014,
SPIN.
Kasper Søe Luckow,
Rody Kersten,
Quoc-Sang Phan,
2019,
Adv. Comput..
Sarfraz Khurshid,
Guowei Yang,
Corina S. Pasareanu,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Tevfik Bultan,
Tegan Brennan,
Seemanta Saha,
2018,
ISSTA.
Corina S. Pasareanu,
Pasquale Malacaria,
Kasper Søe Luckow,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Corina S. Pasareanu,
Antonio Filieri,
Mateus Borges,
2017,
NFM.
Matthew B. Dwyer,
Corina S. Pasareanu,
Willem Visser,
2014,
ASE.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2011,
2011 22nd IEEE International Symposium on Rapid System Prototyping.
Michael R. Lowry,
Doron Drusinsky,
Corina S. Pasareanu,
2013,
Formal Methods Syst. Des..
C. Pasareanu,
S. Khurshid,
Guowei Yang,
2019,
Innovations in Systems and Software Engineering.
Sarfraz Khurshid,
Corina S. Pasareanu,
Willem Visser,
2018,
ISSTA.
Sarfraz Khurshid,
Guowei Yang,
Corina S. Pasareanu,
2018,
NFM.
Marcelo d'Amorim,
Corina S. Pasareanu,
Antonio Filieri,
2015,
ESEC/SIGSOFT FSE.
Corina S. Pasareanu,
Willem Visser,
Radek Pelánek,
2005,
ASE.
Michael R. Lowry,
Cyrille Artho,
Grigore Rosu,
2003,
Abstract State Machines.
Sarfraz Khurshid,
Koushik Sen,
Cyrille Artho,
2004
.
Corina S. Pasareanu,
Divya Gopinath,
Muhammad Usman,
2021,
FMAS.
Antonio Filieri,
Corina Păsăreanu,
Hayes Converse,
2020,
2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2011,
ISSTA '11.
Corina S. Pasareanu,
Willem Visser,
Saswat Anand,
2008,
International Journal on Software Tools for Technology Transfer.
Corina S. Pasareanu,
Kasper Søe Luckow,
C. Pasareanu,
2014,
SOEN.
C. Pasareanu,
2020
.
C. Pasareanu,
Rui Abreu,
H. Erdogmus,
2022,
2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR).