Corina Pasareanu

Citado por

	Total	Desde 2019
Citas	14316	4866
Índice h	60	37
Índice i10	136	94

840

420

210

630

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202459 129 188 204 297 423 427 448 465 506 546 536 626 750 774 744 660 658 730 837 819 749 828 835 791

Acceso público

Ver todo

45 artículos

7 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Willem VisserComputer Science Division, Stellenbosch UniversityDirección de correo verificada de cs.sun.ac.za
Matthew DwyerThomson Distinguished Professor, University of VirginiaDirección de correo verificada de virginia.edu
Sarfraz KhurshidProfessor, University of Texas at AustinDirección de correo verificada de ece.utexas.edu
Antonio FilieriAmazon Web Services, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Kasper Søe LuckowAmazon Web ServicesDirección de correo verificada de amazon.com
Quoc-Sang PhanFacebookDirección de correo verificada de qmul.ac.uk
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateDirección de correo verificada de ksu.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyDirección de correo verificada de cs.berkeley.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryDirección de correo verificada de jpl.nasa.gov
Radek PelánekMasaryk universityDirección de correo verificada de fi.muni.cz
Guowei YangThe University of QueenslandDirección de correo verificada de uq.edu.au
Saswat AnandGoogleDirección de correo verificada de cs.stanford.edu
Pasquale MalacariaProfessor, Queen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Cyrille ArthoKTH Royal Institute of Technology, SwedenDirección de correo verificada de kth.se
Rich WashingtonGoogleDirección de correo verificada de google.com
Mateus BorgesImperial College LondonDirección de correo verificada de ic.ac.uk
Neha RungtaAmazon Web ServicesDirección de correo verificada de amazon.com
Grigore RosuUniversity of Illinois at Urbana ChampaignDirección de correo verificada de illinois.edu
Ari JonssonRector of Reykjavik UniversityDirección de correo verificada de ru.is
Gabor KarsaiVanderbilt UniversityDirección de correo verificada de vanderbilt.edu

Seguir

Corina Pasareanu

CMU/NASA Ames

Dirección de correo verificada de nasa.gov - Página principal

Symbolic execution compositional verification abstraction


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Bandera: Extracting finite-state models from Java source code JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Păsăreanu, Robby, ... Proceedings of the 22nd international conference on Software engineering …, 2000	1580	2000
Generalized symbolic execution for model checking and testing S Khurshid, CS Păsăreanu, W Visser International Conference on Tools and Algorithms for the Construction and …, 2003	819	2003
Test input generation with Java PathFinder W Visser, CS Pǎsǎreanu, S Khurshid Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004	730	2004
Learning assumptions for compositional verification JM Cobleigh, D Giannakopoulou, CS Păsăreanu Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003	540	2003
Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Păsăreanu, K Sen, N Tillmann, ... Proceedings of the 33rd International Conference on Software Engineering …, 2011	520	2011
JPF–SE: A symbolic execution extension to java pathfinder S Anand, CS Păsăreanu, W Visser Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007	422*	2007
Symbolic PathFinder: symbolic execution of Java bytecode CS Păsăreanu, N Rungta Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010	393	2010
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software CS Pǎsǎreanu, PC Mehlitz, DH Bushnell, K Gundy-Burlet, M Lowry, ... Proceedings of the 2008 international symposium on Software testing and …, 2008	380	2008
Differential symbolic execution S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008	359	2008
A survey of new trends in symbolic execution for software testing and analysis CS Păsăreanu, W Visser International journal on software tools for technology transfer 11, 339-353, 2009	335	2009
Assumption generation for software component verification D Giannakopoulou, CS Pasareanu, H Barringer Proceedings 17th IEEE International Conference on Automated Software …, 2002	244	2002
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis CS Păsăreanu, W Visser, D Bushnell, J Geldenhuys, P Mehlitz, N Rungta Automated Software Engineering 20, 391-425, 2013	230	2013
Automated assume-guarantee reasoning by abstraction refinement M Gheorghiu Bobaru, CS Păsăreanu, D Giannakopoulou Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	229	2008
Testing android apps through symbolic execution N Mirzaei, S Malek, CS Păsăreanu, N Esfahani, R Mahmood ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012	222	2012
Parallel symbolic execution for structural test generation M Staats, C Pǎsǎreanu Proceedings of the 19th international symposium on Software testing and …, 2010	209	2010
Tool-supported program abstraction for finite-state verification MB Dwyer, J Hatcliff, R Joehanes, S Laubach, CS Pasreanu, RH Zheng, ... Proceedings of the 23rd International Conference on Software Engineering …, 2001	205	2001
Test input generation for Java containers using state matching W Visser, CS Pǎsǎreanu, R Pelánek Proceedings of the 2006 international symposium on Software testing and …, 2006	204	2006
Verification of Java programs using symbolic execution and invariant generation CS Păsăreanu, W Visser International SPIN Workshop on Model Checking of Software, 164-181, 2004	179	2004
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning CS Păsăreanu, D Giannakopoulou, MG Bobaru, JM Cobleigh, ... Formal Methods in System Design 32, 175-205, 2008	175	2008
Proof rules for automated compositional verification through learning H Barringer, D Giannakopoulou, CS Pasareanu SAVBS 2003, 2003	170	2003

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores