Mats Heimdahl

Citirano

	Sve	Od 2018.
Citati	6384	1391
H-indeks	38	21
i10-indeks	97	40

360

180

270

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202326 53 57 104 104 137 143 160 141 153 168 194 222 210 276 214 238 247 196 259 263 302 343 348 283 291 293 259 219 177 152

Javni pristup

Prikaži sve

15 članaka

4 članka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Michael W WhalenAmazon, Inc. and the University of MinnesotaPotvrđena adresa e-pošte na cs.umn.edu
Sanjai RayadurgamUniversity of MinnesotaPotvrđena adresa e-pošte na umn.edu
N LevesonMITPotvrđena adresa e-pošte na mit.edu
Anitha MurugesanHoneywell AerospacePotvrđena adresa e-pošte na honeywell.com
Gregory GayChalmers | University of GothenburgPotvrđena adresa e-pošte na chalmers.se
Ajitha RajanUniversity of EdinburghPotvrđena adresa e-pošte na staffmail.ed.ac.uk
Yunja ChoiKyungpook National UniversityPotvrđena adresa e-pošte na knu.ac.kr
Oleg SokolskyUniversity of PennsylvaniaPotvrđena adresa e-pošte na cis.upenn.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaPotvrđena adresa e-pošte na cis.upenn.edu
Darren CoferRockwell CollinsPotvrđena adresa e-pošte na ieee.org
Andrew GacekAmazon Web ServicePotvrđena adresa e-pošte na amazon.com
Tim MenziesNorth Carolina State University, Computer Science, IEEE Fellow, ASE FellowPotvrđena adresa e-pošte na ncsu.edu
Danielle StewartGalois, Inc.Potvrđena adresa e-pošte na galois.com
Willem VisserComputer Science Division, Stellenbosch UniversityPotvrđena adresa e-pošte na cs.sun.ac.za
Jane Huffman HayesUniversity of KentuckyPotvrđena adresa e-pošte na cs.uky.edu
Jane Cleland-HuangUniversity of Notre DamePotvrđena adresa e-pošte na nd.edu
Taejoon ByunMetaPotvrđena adresa e-pošte na fb.com
Ian J. De SilvaUniversity of MinnesotaPotvrđena adresa e-pošte na cs.umn.edu
Vaibhav SharmaAmazon.com Services LLC and University of MinnesotaPotvrđena adresa e-pošte na umn.edu
Stephen McCamantAssociate Professor, University of MinnesotaPotvrđena adresa e-pošte na cs.umn.edu

Prati

Mats Heimdahl

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

Potvrđena adresa e-pošte na umn.edu

Software Engineering Testing Requirements Safety Critical Systems


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Requirements specification for process-control systems NG Leveson, MPE Heimdahl, H Hildreth, JD Reese IEEE transactions on software engineering 20 (9), 684-707, 1994	828	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	315	1990
Coverage based test-case generation using model checkers S Rayadurgam, MPE Heimdahl Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001	275	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	204	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	178	2006
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	159	2004
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	145	2005
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	133	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	127	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	124	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
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	108	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	108	1995
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	105	2008
Safety and software intensive systems: Challenges old and new MPE Heimdahl Future of Software Engineering (FOSE'07), 137-152, 2007	98	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	92	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	91	2012
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing M Staats, G Gay, MPE Heimdahl 2012 34th International Conference on Software Engineering (ICSE), 870-880, 2012	90	2012
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	90	2012

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori