Alan Hartman

Cited by

	All	Since 2018
Citations	3507	686
h-index	33	13
i10-index	62	18

240

120

180

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 17 6 6 12 25 48 28 31 22 18 19 19 22 24 34 35 50 91 129 143 146 178 202 221 208 168 166 192 200 138 133 152 103 86 157 126 61

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
Avital Shulner-TalUniversity of Haifa, IsraelVerified email at campus.haifa.ac.il
Shlomit PinterVerified email at cs.haifa.ac.il
Rosa *AProfessor of Mathematics, McMaster UniversityVerified email at mcmaster.ca
Yaron WolfsthalIBM Research Division & Ben-Gurion UniversityVerified email at post.bgu.ac.il
Bran SelicMalina Software Corp.Verified email at acm.org
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
Styliani KleanthousMRG Leader Fairness and Ethics in AI - Human Interaction (fAIre) Group at CYENS CoE CyprusVerified email at cyens.org.cy
Arend RensinkProfessor in Computer Science, University of TwenteVerified email at utwente.nl

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	305	2004
Software and hardware testing using combinatorial covering suites A Hartman Graph Theory, Combinatorics and Algorithms, 237-266, 2005	244	2005
The AGEDIS tools for model based testing A Hartman, K Nagin ACM SIGSOFT Software Engineering Notes 29 (4), 129-132, 2004	167	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	157*	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	149	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	102	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	74	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