Mats Heimdahl

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	6637	1073
H-index	38	18
i10-index	99	35

360

180

270

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202527 52 55 104 106 138 144 150 138 158 157 184 221 201 267 217 243 244 200 260 262 325 343 348 278 293 294 275 222 174 193 173 36

גישה ציבורית

הצג הכל

15 מאמרים

4 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Michael W WhalenAmazon, Inc. and the University of Minnesotaכתובת אימייל מאומתת בדומיין cs.umn.edu
Sanjai RayadurgamUniversity of Minnesotaכתובת אימייל מאומתת בדומיין umn.edu
N LevesonMITכתובת אימייל מאומתת בדומיין mit.edu
Anitha MurugesanHoneywell Aerospaceכתובת אימייל מאומתת בדומיין honeywell.com
Gregory GayChalmers University of Technology and University of Gothenburgכתובת אימייל מאומתת בדומיין chalmers.se
Ajitha RajanUniversity of Edinburghכתובת אימייל מאומתת בדומיין staffmail.ed.ac.uk
Yunja ChoiKyungpook National Universityכתובת אימייל מאומתת בדומיין knu.ac.kr
Oleg SokolskyUniversity of Pennsylvaniaכתובת אימייל מאומתת בדומיין cis.upenn.edu
Insup LeeProfessor, Computer and Information Science, University of Pennsylvaniaכתובת אימייל מאומתת בדומיין cis.upenn.edu
Darren CoferRockwell Collinsכתובת אימייל מאומתת בדומיין ieee.org
Andrew GacekAmazon Web Serviceכתובת אימייל מאומתת בדומיין amazon.com
Tim MenziesProfessor, North Carolina State University, Computer Science, ACM Fellow, IEEE Fellow, ASE Fellowכתובת אימייל מאומתת בדומיין ncsu.edu
Danielle StewartGalois, Inc.כתובת אימייל מאומתת בדומיין galois.com
Willem VisserComputer Science Division, Stellenbosch Universityכתובת אימייל מאומתת בדומיין cs.sun.ac.za
Jane Huffman HayesUniversity of Kentuckyכתובת אימייל מאומתת בדומיין cs.uky.edu
Taejoon ByunMetaכתובת אימייל מאומתת בדומיין fb.com
Jane Cleland-HuangUniversity of Notre Dameכתובת אימייל מאומתת בדומיין nd.edu
Vaibhav SharmaAmazon.com Services LLC and University of Minnesotaכתובת אימייל מאומתת בדומיין umn.edu
Stephen McCamantAssociate Professor, University of Minnesotaכתובת אימייל מאומתת בדומיין cs.umn.edu
BaekGyu KimAssistant Professor, Electrical Engineering and Computer Science, DGISTכתובת אימייל מאומתת בדומיין dgist.ac.kr

עקוב אחר

Mats Heimdahl

Professor and Department Head, Computer Science and Engineering, University of Minnesota

כתובת אימייל מאומתת בדומיין umn.edu

Software Engineering Testing Requirements Safety Critical Systems


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
Requirements specification for process-control systems‏ NG Leveson, MPE Heimdahl, H Hildreth, JD Reese‏ IEEE transactions on software engineering 20 (9), 684-707, 1994‏	826	1994
Completeness and consistency in hierarchical state-based requirements‏ MPE Heimdahl, NG Leveson‏ IEEE transactions on Software Engineering 22 (6), 363-377, 1996‏	453	1996
Software requirements analysis for real-time process-control systems‏ MS Jaffe, NG Leveson, M Heimdahl, B Melhart‏	316	1990
Coverage based test-case generation using model checkers‏ S Rayadurgam, MPE Heimdahl‏ Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001‏	286	2001
Model-based safety analysis of simulink models using SCADE design verifier‏ A Joshi, MPE Heimdahl‏ Computer Safety, Reliability, and Security: 24th International Conference …, 2005‏	216	2005
Coverage metrics for requirements-based testing‏ MW Whalen, A Rajan, MPE Heimdahl, SP Miller‏ Proceedings of the 2006 international symposium on Software testing and …, 2006‏	180	2006
A proposal for model-based safety analysis‏ A Joshi, SP Miller, M Whalen, MPE Heimdahl‏ 24th Digital Avionics Systems Conference 2, 13 pp. Vol. 2, 2005‏	162	2005
Test-suite reduction for model based tests: Effects on test quality and implications for testing‏ MPE Heimdahl, D George‏ Proceedings. 19th International Conference on Automated Software Engineering …, 2004‏	162	2004
Programs, tests, and oracles: the foundations of testing revisited‏ M Staats, MW Whalen, MPE Heimdahl‏ Proceedings of the 33rd international conference on software engineering …, 2011‏	139	2011
The risks of coverage-directed test case generation‏ G Gay, M Staats, M Whalen, MPE Heimdahl‏ IEEE Transactions on Software Engineering 41 (8), 803-819, 2015‏	135	2015
Auto-generating test sequences using model checkers: A case study‏ MPE Heimdahl, S Rayadurgam, W Visser, G Devaraj, J Gao‏ International Workshop on Formal Approaches to Software Testing, 42-59, 2003‏	127	2003
Specification-based prototyping for embedded systems‏ JM Thompson, MPE Heimdahl, SP Miller‏ ACM SIGSOFT Software Engineering Notes 24 (6), 163-179, 1999‏	123	1999
The effect of program and model structure on MC/DC test adequacy coverage‏ A Rajan, MW Whalen, MPE Heimdahl‏ Proceedings of the 30th International Conference on Software engineering …, 2008‏	110	2008
Designing specification languages for process control systems: Lessons learned and steps to the future‏ NG Leveson, MPE Heimdahl, JD Reese‏ ACM SIGSOFT Software Engineering Notes 24 (6), 127-145, 1999‏	106	1999
Completeness and consistency analysis of state-based requirements‏ MPE Heimdahl, NG Leveson‏ Proceedings of the 17th International Conference on Software Engineering, 3-14, 1995‏	106	1995
On the danger of coverage directed test case generation‏ M Staats, G Gay, M Whalen, M Heimdahl‏ Fundamental Approaches to Software Engineering: 15th International …, 2012‏	104	2012
Safety and software intensive systems: Challenges old and new‏ MPE Heimdahl‏ Future of Software Engineering (FOSE'07), 137-152, 2007‏	97	2007
Specification test coverage adequacy criteria= specification test generation inadequacy criteria‏ MPE Heimdahl, D George, R Weber‏ Eighth IEEE International Symposium on High Assurance Systems Engineering …, 2004‏	96	2004
Your" what" is my" how": Iteration and hierarchy in system design‏ MW Whalen, A Gacek, D Cofer, A Murugesan, MPE Heimdahl, ...‏ IEEE software 30 (2), 54-60, 2012‏	95	2012
Providing the shalls‏ SP Miller, AC Tribble, MW Whalen, MPE Heimdahl‏ International Journal on Software Tools for Technology Transfer, 2006‏	94	2006

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים