Corina Pasareanu

Citado por

	Total	Desde 2017
Citas	12164	4120
Índice h	53	34
Índice i10	119	81

840

420

210

630

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202259 130 184 211 298 400 419 442 478 515 551 530 630 743 774 756 669 652 706 825 788 740 408

Acceso público

Ver todo

34 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 DwyerUniversity 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 FilieriAWS, Imperial College LondonDirección de correo verificada de imperial.ac.uk
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityDirección de correo verificada de ksu.edu
Quoc-Sang PhanFacebookDirección de correo verificada de qmul.ac.uk
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryDirección de correo verificada de jpl.nasa.gov
Kasper Søe LuckowAmazon Web ServicesDirección de correo verificada de amazon.com
Radek PelánekMasaryk universityDirección de correo verificada de fi.muni.cz
Koushik SenProfessor of Computer Science, University of California, BerkeleyDirección de correo verificada de cs.berkeley.edu
Saswat AnandGoogleDirección de correo verificada de cs.stanford.edu
Marcelo d'AmorimFederal University of PernambucoDirección de correo verificada de cin.ufpe.br
Guowei YangThe University of QueenslandDirección de correo verificada de uq.edu.au
Pasquale MalacariaProfessor, Queen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Rich WashingtonGoogleDirección de correo verificada de google.com
Mateus BorgesImperial College LondonDirección de correo verificada de ic.ac.uk
Grigore RosuUniversity of Illinois at Urbana ChampaignDirección de correo verificada de illinois.edu
Cyrille ArthoKTH Royal Institute of Technology, SwedenDirección de correo verificada de kth.se
Neha RungtaAmazon Web ServicesDirección de correo verificada de amazon.com
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 Pasareanu, H Zheng Proceedings of the 2000 International Conference on Software Engineering …, 2000	1553	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	753	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	659	2004
Learning assumptions for compositional verification JM Cobleigh, D Giannakopoulou, CS Păsăreanu International Conference on Tools and Algorithms for the Construction and …, 2003	509	2003
Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ... 2011 33rd International Conference on Software Engineering (ICSE), 1066-1071, 2011	446	2011
JPF–SE: A symbolic execution extension to java pathfinder S Anand, CS Păsăreanu, W Visser International conference on tools and algorithms for the construction and …, 2007	398*	2007
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	354	2008
Symbolic PathFinder: symbolic execution of Java bytecode CS Păsăreanu, N Rungta Proceedings of the IEEE/ACM international conference on Automated software …, 2010	326	2010
Differential symbolic execution S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008	318	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 (4), 339-353, 2009	311	2009
Assumption generation for software component verification D Giannakopoulou, CS Pasareanu, H Barringer Proceedings 17th IEEE International Conference on Automated Software …, 2002	231	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 (3), 391-425, 2013	212	2013
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	202	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	200	2006
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	198	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	186	2010
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	170	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 (3), 175-205, 2008	159	2008
Automated assume-guarantee reasoning by abstraction refinement M Gheorghiu Bobaru, CS Păsăreanu, D Giannakopoulou International Conference on Computer Aided Verification, 135-148, 2008	155	2008
Deepsafe: A data-driven approach for assessing robustness of neural networks D Gopinath, G Katz, CS Păsăreanu, C Barrett International symposium on automated technology for verification and …, 2018	144	2018

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