Publikationen pro Jahr
Publikationen pro Jahr
Publikationen
- 43 Ergebnisse
Suchergebnisse
-
2015
Bounded Determinization of Timed Automata with Silent Transitions
Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., 2015, Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Berlin [u.a.]: Springer Verlag, Band 9268. S. 288-304 (Lecture Notes in Computer Science; Band 9268).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
MoMuT::UML - model-based mutation testing for UML
Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W. K., Schlick, R. & Tiran, S., 2015, IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. Institute of Electrical and Electronics Engineers, S. 1-8Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata
Aichernig, B. & Lorber, F. L., 2015, Software Testing, Verification and Validation Workshops (ICSTW) 2015. ., S. 1-6Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
2014
Debugging with Timed Automata Mutations
Aichernig, B., Hörmaier, K. & Lorber, F. L., 2014, Computer Safety, Reliability, and Security. Bondavalli, A. & Di Giandomenico, F. (Hrsg.). Springer International Publishing AG , Band 8666. S. 49-64 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Formal Test-Driven Development with Verified Test Cases
Aichernig, B., Lorber, F. L. & Tiran, S., 2014, Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Lisbon: SCITEPRESS – Science and Technology Publications, S. 626-635Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Integration of Requirements Engineering and Test-Case Generation via OSLC
Aichernig, B., Hörmaier, K., Lorber, F., Nickovic, D., Schlick, R., Tiran, S. & Simoneau, D., 2014, 2014 14th International Conference on Quality Software. ., S. 117-126Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2012
Connectors as designs: Modeling, refinement and test case generation
Sun, M., Arbab, F., Aichernig, B., Astefanoaei, L., de Boer, F. S. & Rutten, J., 2012, in: Science of Computer Programming . 77, 7/8, S. 799-822Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
-
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010
Aichernig, B. (Hrsg.), de Boer, F. S. (Hrsg.) & Bonsangue, M. M. (Hrsg.), 2012, Springer Verlag.Publikation: Buch/Bericht/Konferenzband › Buch (Herausgeberwerk)
-
2009
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Aichernig, B., Griesmayer, A., Broch Johnsen, E., Schlatte, R. & Stam, A., 2009, FMCO 2008: Formal Methods for Components and Objects. Springer Verlag, Band 5751. S. 61-81 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Dynamic Symbolic Execution of Distributed Concurrent Objects
Griesmayer, A., Aichernig, B., Broch Johnsen, E. & Schlatte, R., 2009, Tests and Proofs. Springer Verlag, Band 5668. S. 105-120 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)
Griesmayer, A., Aichernig, B., Broch Johnsen, E. & Schlatte, R., 2009, IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE). Springer Verlag, Band 5522. S. 225-230 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Fault-based Test Case Generation for Component Connectors
Aichernig, B., Arbab, F., Astefanoaei, L., de Boer, F. S., Sun, M. & Rutten, J., 2009, IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society, S. 147-154Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Modeling and testing multi-threaded asynchronous systems with Creol
Aichernig, B., Griesmayer, A., Schlatte, R. & Stam, A., 2009, Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008). Elsevier B.V., Band 243. S. 3-14 (Electronic Notes in Theoretical Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Mutation Testing in UTP
Aichernig, B. & He, J., 2009, in: Formal Aspects of Computing. 21, S. 33-64Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
-
2008
Improving Fault-based Conformance Testing
Aichernig, B., Weiglhofer, M. & Wotawa, F., 2008, in: Electronic Notes in Theoretical Computer Science . 220, 1, S. 63-77Publikation: Beitrag in einer Fachzeitschrift › Artikel
-
Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative
Aichernig, B., Jifeng, H., Liu, Z. & Reed, M., 2008, Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Meyer, B. & Woodcock, J. (Hrsg.). Springer Verlag, Band 4171. S. 291-300 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2007
Refinement and test case generation in UTP
Aichernig, B. & He, J., 2007, in: Electronic Notes in Theoretical Computer Science . 187, 1, S. 125-143Publikation: Beitrag in einer Fachzeitschrift › Artikel
-
2006
From faults via test purposes to test cases: on the fault-based testing of concurrent systems
Aichernig, B. & Delgado, C. C., 2006, Fundamental Approaches to Software Engineering. Baresi, L. & Heckel, R. (Hrsg.). Springer Verlag, Band 3922. S. 324-338 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
From Faults via Test Purposes to Test Cases: on the Fault-based Testing of Concurrent Systems
Aichernig, B. & Corrales, C., 28 März 2006.Publikation: Konferenzbeitrag › (Altdaten) Vortrag oder Präsentation
-
On the Semantics of Componentware: a Coalgebraic Perspective
Barbosa, L. S., Meng, S., Aichernig, B. & Rodrigues, N., 2006, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. 1 Aufl. World Scientific, Band 2. S. 69-118 (Series on Component-Based Software Development).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht
-
On the value of fault injection on the modeling level
Aichernig, B., 2006, Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005. ., Band CS-TR-969. S. 59-71 (University of Newcastle upon Tyne, Computer Science Technical Report Series).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
When model-based testing fails
Aichernig, B. & George, C., 2006, in: Electronic Notes in Theoretical Computer Science . 164, 4, S. 115-128Publikation: Beitrag in einer Fachzeitschrift › Artikel
-
2005
A coalgebraic semantic framework for component-based development in UML
Meng, S., Aichernig, B., Barbosa, L. S. & Naixiao, Z., 2005, in: Electronic Notes in Theoretical Computer Science . 122, S. 229-245Publikation: Beitrag in einer Fachzeitschrift › Artikel
-
Coalgebraic component specification and verification in RSL
Meng, S., Aichernig, B. & Naixiao, Z., 2005, International Conference on Parallel and Distributed Computing, Applications and Technologies. IEEE Computer Society, S. 424-426Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Combining algebraic and model-based test case generation
Dan, L. & Aichernig, B., 2005, Theoretical aspects of computing - ICTAC 2004. Liu, Z. (Hrsg.). Berlin [u.a.]: Springer, Band 3407. S. 250-264 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, September 7--9, Koblenz, Germany
Aichernig, B. (Hrsg.) & Beckert, B. (Hrsg.), 2005, IEEE Computer Society.Publikation: Buch/Bericht/Konferenzband › Buch (Herausgeberwerk)
-
Test case generation by OCL mutation and constraint solving
Aichernig, B. & Pari Salas, P., 2005, QSIC 2005. Cai, K-Y. (Hrsg.). Los Alamitos, Calif.: IEEE Computer Soc. Press, S. 64-71Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
The Formal Foundations in RSL for UML Statechart Diagrams
Meng, S., Naixiao, Z. & Aichernig, B., 2005, in: Acta scientiarum naturalium Universitatis Pekinensis. 41, 3, S. 344-357Publikation: Beitrag in einer Fachzeitschrift › Artikel
-
2003
A Coalgebraic Calculus for Component Based Systems
Meng, S. & Aichernig, B., 2003, Workshop on Formal Aspects of Component Software (FACS'03). ., Band 284. S. 27-46 (UNU-IIST Technical Reports).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Contract-based Testing
Aichernig, B., 2003, Formal Methods at the Crossroads: from Panacea to Foundational Support. Berlin, ...: Springer Verlag, Band 2757. S. 34-48 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Formal Methods at the Crossroads. From Panacea to Foundational Support. 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University
Aichernig, B. (Hrsg.) & Maibaum, T. (Hrsg.), 2003, Springer Verlag.Publikation: Buch/Bericht/Konferenzband › Buch (Herausgeberwerk)
-
Mutation Testing in the Refinement Calculus
Aichernig, B., 2003, in: Formal Aspects of Computing. 15, 2, S. 280-295Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
-
Test Derivation in a Refinement Process
Aichernig, B., 2003, RCS'03 - 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments. ., S. ?-?Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
The Commuting V-Diagram: on the Relation of Refinement and Testing
Aichernig, B., 2003, Proceedings of CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Gödel Colloquium. Baaz, M. & Makowsky, J. A. (Hrsg.). Springer, Band 2803. S. 15-28 (Lecture notes in computer science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2002
Contract-based mutation testing in the Refinement Calculus
Aichernig, B., 2002, in: Electronic Notes in Theoretical Computer Science . 70, 3, S. 351-351Publikation: Beitrag in einer Fachzeitschrift › Artikel
-
2001
Test-design through abstraction - a systematic approach based on the refinement calculus
Aichernig, B., 2001, in: Journal of Universal Computer Science . 7, 8, S. 710-735Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
-
2000
Formal specification techniques as a catalyst in validation
Aichernig, B., Gerstinger, A. & Aster, R., 2000, Proceedings / Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE). Los Alamitos, Calif.: IEEE Computer Soc. Press, S. 203-207Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Modeling and validating hybrid systems using VDM and Mathematica
Aichernig, B. & Kainhofer, R., 2000, Lfm2000: Fifth NASA Langley Formal Methods Workshop. NASA, Band CP-2000-2101000. S. 35-46 (NASA STI Report Series).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods
Aichernig, B. & Hörl, H., 2000, International Conference on Requirements Engineering. Institute of Electrical and Electronics Engineers, S. 190-190Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods
Aichernig, B. & Hoerl, J., 22 Juni 2000.Publikation: Konferenzbeitrag › (Altdaten) Vortrag oder Präsentation
-
1999
Executable specifications in software reliability engineering
Aichernig, B., 1999, Workshop on Formal Descriptions and Software Reliability. ., S. ?-?Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
1998
Automated requirements testing with abstract oracles
Aichernig, B., 1998, Fast abstracts and industrial practices. Paderborn: IEEE Computer Soc., S. 21-22Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
1997
A proof obligation generator for VDM-SL
Aichernig, B. & Larsen, P. G., 1997, Industrial applications and strengthened foundations of formal methods. Berlin: Springer, Band 1313. S. 338-357 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung