Alan Hartman

Cited by

	All	Since 2018
Citations	3600	757
h-index	34	14
i10-index	63	21

220

110

165

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202313 18 7 6 13 26 49 25 30 23 20 19 19 23 24 37 39 52 91 127 145 149 180 206 217 208 167 167 194 202 137 131 149 105 88 159 130 125

Public access

View all

4 articles

1 article

available

not available

Based on funding mandates

Co-authors

Andrei KirshinFacebookVerified email at fb.com
Eitan FarchiIBM Research Lab in HaifaVerified email at il.ibm.com
Anshu JainIBM ResearchVerified email at us.ibm.com
Tsvi KuflikProfessor of Information Systems, The University of HaifaVerified email at is.haifa.ac.il
Veronika BoginaResearch ScientistVerified email at tauex.tau.ac.il
Avital Shulner-TalUniversity of Haifa, IsraelVerified email at campus.haifa.ac.il
Jahna OtterbacherOpen University of Cyprus, Cyprus Center for Algorithmic Transparency (CyCAT) & CYENS CoEVerified email at ouc.ac.cy
Juergen DingelSchool of Computing, Queen's University, CanadaVerified email at cs.queensu.ca
Bernhard RumpeRWTH Aachen UniversityVerified email at se.rwth-aachen.de
Shlomit PinterVerified email at cs.haifa.ac.il
Yaron WolfsthalIBM Research Division & Ben-Gurion UniversityVerified email at post.bgu.ac.il
Rosa *AProfessor of Mathematics, McMaster UniversityVerified email at mcmaster.ca
Bran SelicMalina Software Corp.Verified email at acm.org
Styliani KleanthousMRG Leader Fairness and Ethics in AI - Human Interaction (fAIre) Group at CYENS CoE CyprusVerified email at cyens.org.cy
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at unitn.it
Khuyagbaatar BatsurenNational University of MongoliaVerified email at num.edu.mn
tuvi etzionComputer Science, Technion, IsraelVerified email at cs.technion.ac.il
Jim DaviesUniversity of OxfordVerified email at cs.ox.ac.uk
Charles CrichtonDepartment of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Laurent MounierVERIMAG University of Grenoble AlpesVerified email at univ-grenoble-alpes.fr

Alan Hartman

University of Haifa

Verified email at is.haifa.ac.il - Homepage

Mathematics Software Engineering Service Science Combinatorics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Problems and algorithms for covering arrays A Hartman, L Raskin Discrete Mathematics 284 (1), 149-156, 2004	309	2004
Software and hardware testing using combinatorial covering suites A Hartman Graph Theory, Combinatorics and Algorithms, 237-266, 2005	250	2005
The AGEDIS tools for model based testing A Hartman, K Nagin ACM SIGSOFT Software Engineering Notes 29 (4), 129-132, 2004	190	2004
Using a model-based test generator to test for standard conformance E Farchi, A Hartman, SS Pinter IBM systems journal 41 (1), 89-110, 2002	165	2002
A study in coverage-driven test generation M Benjamin, D Geist, A Hartman, Y Wolfsthal, G Mas, R Smeets Design Automation Conference, 1999. Proceedings. 36th, 970-975, 1999	161	1999
Maintaining Data Privacy in a Shared Data Storage System S Cohen, A Hartman, JM Marberg, MG Moffie, K Nagin US Patent App. 14/184,718, 2015	157	2015
Steiner quadruple systems A Hartman, KT Phelps Contemporary Design Theory, 205-240, 1992	124	1992
Technique using persistent foci for finite state machine based software test generation A Hartman, K Nagin, P Kram US Patent 6,944,848, 2005	106	2005
Projected state machine coverage for software testing G Friedman, A Hartman, K Nagin, T Shiran ACM SIGSOFT Software Engineering Notes 27 (4), 134-143, 2002	104	2002
Model based test generation for validation of parallel and concurrent software A Hartman, A Kirshin, K Nagin, S Olvovsky, A Zlotnick US Patent 7,089,534, 2006	97	2006
The fundamental construction for 3-designs A Hartman Discrete Mathematics 124 (1-3), 107-132, 1994	90	1994
Reducing the complexity of finite state machine test generation using combinatorial designs A Hartman, A Kirshin, K Nagin, S Olvovsky US Patent 7,024,589, 2006	77	2006
Using UML for automatic test generation A Cavarra, C Crichton, J Davies, A Hartman, L Mounier Proceedings of ISSTA 15, 2002	76	2002
Resolvable group divisible designs with block size 3 AM Assaf, A Hartman Discrete mathematics 77 (1-3), 5-20, 1989	75	1989
Method and system for integrating test coverage measurements with model based test generation E Farchi, D Geist, A Hartman, P Kram, K Nagin, Y Shaham-Gafni, S Ur US Patent 7,272,752, 2007	74	2007
Model based test generation tools A Hartman Agedis Consortium, URL: http://www. agedis. de/documents …, 2002	72	2002
2^nd UML 2 Semantics Symposium: Formal Semantics for UML M Broy, ML Crane, J Dingel, A Hartman, B Rumpe, B Selic Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa …, 2007	59	2007
Hyper-arc consistency in a contraint satisfaction network R Emek, A Hartman, G Shurek, M Veksler US Patent 7,085,748, 2006	56	2006
Optimal parsing of strings A Hartman, M Rodeh Combinatorial algorithms on words, 155-167, 1985	54	1985
Cyclic one-factorization of the complete graph A Hartman, A Rosa IBM Israel Scientific Center, 1983	53	1983

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors