Anders Hessel - Concepedia

Author

Anders Hessel

Also Known As

A. Hessel, Anders Hessel

Publications

533

Citations

H-Index

Concepts

All Affiliations

Anders Hessel is an author at Uppsala University specializing in formal methods, engineering, and test generation.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	98
2	Computer Science	4	4	98
3	Systems Engineering	4	4	98
4	Computer Engineering	3	3	58
5	Combinatorial Optimization	1	1	40

Anders Hessel

Publications

125

Citations

H-Index

Page 1

	Year	Citations
Time-Optimal Real-Time Test Case Generation using UPPAAL Anders Hessel, Kim G. Larsen, Brian Nielsen, Mathematical ProgrammingEngineeringSoftware TestingVerificationFormal Methods	2004	40
A Global Algorithm for Model-Based Test Suite Generation Anders Hessel, Paul Pettersson Electronic Notes in Theoretical Computer Science EngineeringVerificationTest CoverageTest Data GenerationSoftware Engineering	2007	31
Cover - A Real-Time Test Case Generation Tool Anders Hessel, Paul Pettersson	2007	17
A test case generation algorithm for real-time systems Anders Hessel, Paul Pettersson International Conference on Quality Software EngineeringVerificationTest Data GenerationSoftware EngineeringSoftware Analysis	2004	17
Cover - A Test-Case Generation Tool for Timed Systems Anders Hessel, Paul Pettersson	2007	10
A test case generation algorithm for real-time systems Anders Hessel, Paul Pettersson EngineeringVerificationTest Data GenerationSoftware EngineeringSoftware Analysis	2004	10

Page 1