C. David
发表
W. Chin,
S. Qin,
Huu Hai Nguyen,
2014
.
Yoav Alon,
C. David,
2022,
ESEC/SIGSOFT FSE.
D. Kroening,
M. Lewis,
C. David,
2019
.
M. Wang,
Weixin Zhang,
C. David,
2022,
ArXiv.
Dinesh,
Sriram,
C. David,
2007
.
D. Kroening,
A. Abate,
L. Cordeiro,
2019
.
D. Kroening,
A. Abate,
L. Cordeiro,
2018
.
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2016,
HSCC.
Daniel Kroening,
Cristina David,
Matt Lewis,
2018,
ACM Trans. Program. Lang. Syst..
D. Kroening,
C. David,
Pascal Kesseli,
2018
.
Daniel Kroening,
Cristina David,
Pascal Kesseli,
2017,
ArXiv.
Shengchao Qin,
Wei-Ngan Chin,
Cristina David,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
M. Wang,
Y. Yu,
C. David,
2023,
ArXiv.
Daniel Kroening,
Cristina David,
D. Kroening,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Daniel Kroening,
Cristina David,
Matt Lewis,
2014,
ESOP.
D. Kroening,
M. Lewis,
C. David,
2017
.
Wei-Ngan Chin,
Cristina David,
W. Chin,
2011,
OOPSLA '11.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2018,
CAV.
D. Kroening,
A. Abate,
L. Cordeiro,
2019,
Acta Informatica.
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2017,
CAV.
Soonho Kong,
Kwangkeun Yi,
Cristina David,
2010,
APLAS.
W. Chin,
S. Qin,
Huu Hai Nguyen,
2012,
Sci. Comput. Program..
Shengchao Qin,
Wei-Ngan Chin,
Cristina David,
2007,
10th IEEE High Assurance Systems Engineering Symposium (HASE'07).
Shengchao Qin,
Wei-Ngan Chin,
Cristina David,
2007,
VMCAI.
W. Chin,
S. Qin,
Huu Hai Nguyen,
2006
.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2014,
ESOP.
Wei-Ngan Chin,
Minh-Thai Trinh,
Quang Loc Le,
2013,
APLAS.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2019,
Acta Informatica.
Shengchao Qin,
Wei-Ngan Chin,
Cristina David,
2008,
POPL '08.
D. Kroening,
M. Lewis,
C. David,
2016,
FM.
Daniel Kroening,
Cristina David,
Matt Lewis,
2014,
ESOP.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
ArXiv.
Kazutaka Matsuda,
Meng Wang,
C. David,
2021,
Proc. ACM Program. Lang..