Concise and consistent naming Florian Deissenboeck, Markus Pizka SOFTWARE QUALITY JOURNAL, 2006, 14, 261-282 https://itestra.com/wp-content/uploads/2018/03/06_itestra_concise_and_consistent_naming.pdf
SALT—Structured Assertion Language for Temporal Logic Jonathan Streit, Andreas Bauer, Martin Leucker IN PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS (ICFEM), MACAU, CHINA, 2006 https://itestra.com/wp-content/uploads/2018/04/06_itestra_salt_structured_assertion_language.pdf
A Holistic Approach to Software Quality at Work Manfred Broy, Florian Deissenboeck, Markus Pizka IN 3RD WORLD CONFERENCE FOR SOFTWARE QUALITY (3WCSQ), MUNICH, GERMANY, SEPTEMBER 2005 https://itestra.com/wp-content/uploads/2018/03/05_itestra_holistic_approach_sw_quality.pdf
Tool Support for Continuous Quality Assessment Florian Deissenboeck, Markus Pizka, Tilman Seifert IN YING ZOU AND MASSIMILIANO DI PENTA, EDITORS, PRE-PROCEEDINGS IEEE INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE (STEP 2005), BUDAPEST, HUNGARY, SEPTEMBER 2005 https://itestra.com/wp-content/uploads/2018/03/05_itestra_realtime_quality_assessment.pdf