Alan Hartman

Cited by

	All	Since 2018
Citations	3470	651
h-index	33	13
i10-index	62	18

220

110

165

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 17 6 6 12 25 48 28 31 22 18 19 19 22 24 34 35 50 91 129 141 146 181 199 220 208 168 166 191 201 138 132 151 103 85 156 129 27

Public access

View all

5 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
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
Avital Shulner-TalUniversity of Haifa, IsraelVerified email at campus.haifa.ac.il
Rosa *AProfessor of Mathematics, McMaster UniversityVerified email at mcmaster.ca
Bran SelicMalina Software Corp.Verified email at acm.org
Yaron WolfsthalIBM Research Division & Ben-Gurion UniversityVerified email at post.bgu.ac.il
Richard F. PaigeProfessor, McMaster University, and Professor of Enterprise Systems, University of YorkVerified email at mcmaster.ca
tuvi etzionComputer Science, Technion, IsraelVerified email at cs.technion.ac.il
Jahna OtterbacherOpen University of Cyprus, Cyprus Center for Algorithmic Transparency (CyCAT) & CYENS CoEVerified email at ouc.ac.cy
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
Arend RensinkProfessor in Computer Science, University of TwenteVerified email at utwente.nl
Guruduth BanavarViome IncVerified email at viome.com

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	304	2004
Software and hardware testing using combinatorial covering suites A Hartman Graph Theory, Combinatorics and Algorithms, 237-266, 2005	243	2005
The AGEDIS tools for model based testing A Hartman, K Nagin ACM SIGSOFT Software Engineering Notes 29 (4), 129-132, 2004	166	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	164	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	156*	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	139	2015
Steiner quadruple systems A Hartman, KT Phelps Contemporary Design Theory, 205-240, 1992	126	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	101	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	94	2006
The fundamental construction for 3-designs A Hartman Discrete Mathematics 124 (1-3), 107-132, 1994	89	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	76	2006
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	73	2007
Using UML for automatic test generation A Cavarra, C Crichton, J Davies, A Hartman, L Mounier Proceedings of ISSTA 15, 2002	73	2002
Model based test generation tools A Hartman Agedis Consortium, URL: http://www. agedis. de/documents …, 2002	70	2002
Resolvable group divisible designs with block size 3 AM Assaf, A Hartman Discrete mathematics 77 (1-3), 5-20, 1989	69	1989
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	58	2007
Hyper-arc consistency in a contraint satisfaction network R Emek, A Hartman, G Shurek, M Veksler US Patent 7,085,748, 2006	55	2006
Optimal parsing of strings A Hartman, M Rodeh Combinatorial algorithms on words, 155-167, 1985	55	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