Travelled to:1 × Belgium
1 × China
1 × Croatia
1 × Czech Republic
1 × Finland
1 × Ireland
1 × Norway
1 × Poland
1 × Sweden
10 × USA
2 × Portugal
4 × Canada
6 × United Kingdom
7 × Italy
Collaborated with:W.Visser D.Giannakopoulou M.B.Dwyer A.Filieri S.Khurshid G.Yang R.Pelánek D.Balasubramanian N.Rungta A.Komuravelli E.M.Clarke J.M.Cobleigh M.Borges M.d'Amorim M.R.Lowry S.Anand K.A.Elkader O.Grumberg S.Shoham ∅ M.Staats G.Karsai J.Geldenhuys S.Person D.H.Bushnell K.Gundy-Burlet D.Bianculli R.Singh M.G.Bobaru M.Emmi M.Gheorghiu O.Tkachuk H.Barringer J.Hatcliff S.Laubach Robby H.Zheng R.Qiu S.G.Elbaum D.Gopinath H.Converse A.Taly K.S.Luckow M.W.Whalen J.Schumann T.Menzies T.Barrett L.Bang A.Aydin Q.Phan T.Bultan M.J.Gerrard C.Cadar P.Godefroid K.Sen N.Tillmann P.C.Mehlitz M.Pape J.C.Corbett R.Joehanes
Talks about:symbol (21) execut (18) softwar (8) analysi (8) model (8) probabilist (7) abstract (7) verif (7) test (7) guarante (6)
♀ Person: Corina S. Pasareanu
DBLP: Pasareanu:Corina_S=
Facilitated 16 volumes:
ExpertReviewPaPrBoard
EdPrCo
EdExpertReviewPaPrBoardEdPrChDSChPrCo
Ed
EdEdContributed to:
2015
2015
20152014
2014
20142013
20132012
20122012
2012
201220112011
2011201020102010
2009200820082008200820082007200620052005200420032003200220012001200019982015
2015201620192016Wrote 48 papers:
- ESEC-FSE-2015-BorgesFdP #execution #probability #symbolic computation
- Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.
- FM-2015-ElkaderGPS #automation #reasoning
- Automated Circular Assume-Guarantee Reasoning (KAE, OG, CSP, SS), pp. 23–39.
- ICSE-v1-2015-QiuYPK #composition #execution #symbolic computation
- Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.
- ASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code #symbolic computation
- Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.
- FSE-2014-FilieriPVG #execution #statistics #symbolic computation
- Statistical symbolic execution with informed sampling (AF, CSP, WV, JG), pp. 437–448.
- PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier
- Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
- ICSE-2013-FilieriPV #analysis #reliability
- Reliability analysis in symbolic pathfinder (AF, CSP, WV), pp. 622–631.
- ICSE-2013-YangKP #execution #named #symbolic computation
- Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.
- TACAS-2013-BalasubramanianPKL #analysis #multi #named #statechart
- Polyglot: Systematic Analysis for Multiple Statechart Formalisms (DB, CSP, GK, MRL), pp. 523–529.
- CAV-2012-KomuravelliPC #abstraction #probability #refinement
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems (AK, CSP, EMC), pp. 310–326.
- ICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation
- Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.
- ICST-2012-PasareanuB #analysis #statechart
- Statechart Analysis with Symbolic PathFinder (CSP, DB), p. 772.
- ISSTA-2012-YangPK #execution #symbolic computation
- Memoized symbolic execution (GY, CSP, SK), pp. 144–154.
- LICS-2012-KomuravelliPC #learning #probability
- Learning Probabilistic Systems from Tree Samples (AK, CSP, EMC), pp. 441–450.
- TAP-2012-Pasareanu #execution #model checking #symbolic computation #testing
- Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.
- ICSE-2011-BianculliGP #composition #interface
- Interface decomposition for service compositions (DB, DG, CSP), pp. 501–510.
- ICSE-2011-CadarGKPSTV #assessment #execution #symbolic computation #testing
- Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.
- ISSTA-2011-BalasubramanianPWKL #analysis #modelling #multi #named #statechart
- Polyglot: modeling and analysis for multiple Statechart formalisms (DB, CSP, MWW, GK, MRL), pp. 45–55.
- ISSTA-2011-PasareanuRV #execution #symbolic computation
- Symbolic execution with mixed concrete-symbolic solving (CSP, NR, WV), pp. 34–44.
- SFM-2011-GiannakopoulouP #synthesis
- Context Synthesis (DG, CSP), pp. 191–216.
- ASE-2010-PasareanuR #bytecode #execution #java #symbolic computation
- Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.
- CAV-2010-SinghGP #abstraction #component #interface #learning
- Learning Component Interfaces with May and Must Abstractions (RS, DG, CSP), pp. 527–542.
- ISSTA-2010-StaatsP #execution #generative #parallel #symbolic computation #testing
- Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.
- FASE-2009-GiannakopoulouP #composition #generative #interface #verification
- Interface Generation and Compositional Verification in JavaPathfinder (DG, CSP), pp. 94–108.
- ASE-2008-SchumannGPMB #analysis #parametricity #scalability #simulation #tool support
- Tool Support for Parametric Analysis of Large Software Simulation Systems (JS, KGB, CSP, TM, TB), pp. 497–498.
- CAV-2008-BobaruPG #abstraction #automation #reasoning #refinement
- Automated Assume-Guarantee Reasoning by Abstraction Refinement (MGB, CSP, DG), pp. 135–148.
- FM-2008-EmmiGP #automaton #interface #verification
- Assume-Guarantee Verification for Interface Automata (ME, DG, CSP), pp. 116–131.
- FSE-2008-PersonDEP #difference #execution #symbolic computation
- Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.
- ISSTA-2008-PasareanuMBGLPP #execution #symbolic computation #testing
- Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.
- TACAS-2007-AnandPV #execution #java #named #symbolic computation
- JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.
- TACAS-2007-GheorghiuGP #composition #interface #verification
- Refining Interface Alphabets for Compositional Verification (MG, DG, CSP), pp. 292–307.
- ISSTA-2006-VisserPP #generative #java #using
- Test input generation for java containers using state matching (WV, CSP, RP), pp. 37–48.
- ASE-2005-VisserPP #abstraction #generative #using
- Test input generation for red-black trees using abstraction (WV, CSP, RP), pp. 414–417.
- CAV-2005-PasareanuPV #model checking #refinement
- Concrete Model Checking with Abstract Matching and Refinement (CSP, RP, WV), pp. 52–66.
- ICSE-2004-GiannakopoulouPC #source code #verification
- Assume-Guarantee Verification of Source Code with Design-Level Assumptions (DG, CSP, JMC), pp. 211–220.
- ASE-2003-TkachukDP #automation #generative #model checking
- Automated Environment Generation for Software Model Checking (OT, MBD, CSP), pp. 116–129.
- TACAS-2003-CobleighGP #composition #learning #verification
- Learning Assumptions for Compositional Verification (JMC, DG, CSP), pp. 331–346.
- TACAS-2003-KhurshidPV #execution #model checking #symbolic computation #testing
- Generalized Symbolic Execution for Model Checking and Testing (SK, CSP, WV), pp. 553–568.
- ASE-2002-GiannakopoulouPB #component #generative #verification
- Assumption Generation for Software Component Verification (DG, CSP, HB), pp. 3–12.
- ICSE-2001-DwyerHJLPRZV #abstraction #finite #verification
- Tool-Supported Program Abstraction for Finite-State Verification (MBD, JH, RJ, SL, CSP, R, HZ, WV), pp. 177–187.
- TACAS-2001-PasareanuDV #java #model checking #source code
- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs (CSP, MBD, WV), pp. 284–298.
- ICSE-2000-CorbettDHLPRZ #finite #java #modelling #named #source code
- Bandera: extracting finite-state models from Java source code (JCC, MBD, JH, SL, CSP, R, HZ), pp. 439–448.
- FSE-1998-DwyerP #model checking
- Filter-Based Model Checking of Partial Systems (MBD, CSP), pp. 189–202.
- ASE-2015-FilieriPY #execution #probability #quantifier #symbolic computation
- Quantification of Software Changes through Probabilistic Symbolic Execution (N) (AF, CSP, GY), pp. 703–708.
- GTTSE-2015-DwyerFGGPV #probability #program analysis
- Probabilistic Program Analysis (MBD, AF, JG, MJG, CSP, WV), pp. 1–25.
- FSE-2016-BangAPPB #analysis #string
- String analysis for side channels with segmented oracles (LB, AA, QSP, CSP, TB), pp. 193–204.
- ASE-2019-GopinathCPT #network
- Property Inference for Deep Neural Networks (DG, HC, CSP, AT), pp. 797–809.
- CAV-2016-ElkaderGPS #automation #composition #reasoning #refinement
- Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement (KAE, OG, CSP, SS), pp. 329–351.