TY - CHAP A1 - Holzer, Andreas A1 - Januzaj, Visar A1 - Kugele, Stefan A1 - Tautschnig, Michael ED - Margaria, Tiziana ED - Steffen, Bernhard T1 - Timely Time Estimates T2 - Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I UR - https://doi.org/10.1007/978-3-642-16558-0_5 KW - Execution Time KW - Basic Block KW - Code Unit KW - Test Input KW - Target Platform Y1 - 2010 UR - https://doi.org/10.1007/978-3-642-16558-0_5 SN - 978-3-642-16558-0 SN - 978-3-642-16557-3 SP - 33 EP - 46 PB - Springer CY - Berlin ER - TY - CHAP A1 - Holzer, Andreas A1 - Januzaj, Visar A1 - Kugele, Stefan ED - Boness, Kenneth ED - Fernandes, João M. ED - Hall, Jon G. ED - Jorge Machado, Ricardo ED - Oberhauser, Roy T1 - Towards Resource Consumption-Aware Programming T2 - Proceedings: The Fourth International Conference on Software Engineering Advances: ICSEA 2009 UR - https://doi.org/10.1109/ICSEA.2009.77 KW - Code Instrumentation KW - Embedded Systems KW - Execution Time Y1 - 2009 UR - https://doi.org/10.1109/ICSEA.2009.77 SN - 978-1-4244-4779-4 SP - 490 EP - 493 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Holzer, Andreas A1 - Januzaj, Visar A1 - Kugele, Stefan A1 - Langer, Boris A1 - Schallhart, Christian A1 - Tautschnig, Michael A1 - Veith, Helmut ED - Giannakopoulou, Dimitra ED - Orejas, Fernando T1 - Seamless Testing for Models and Code T2 - Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011: Saarbrücken, Germany, March 26-April 3, 2011: Proceedings UR - https://doi.org/10.1007/978-3-642-19811-3_20 KW - Test Suite KW - Activity Diagram KW - Coverage Criterion KW - System Under Test KW - Test Case Generation Y1 - 2011 UR - https://doi.org/10.1007/978-3-642-19811-3_20 SN - 978-3-642-19810-6 SN - 978-3-642-19811-3 SP - 278 EP - 293 PB - Springer CY - Berlin ER -