Fevzi Belli

Proceedings of the 11th Turkish National Software Engineering Symposium, 2017

Message from STA 2017 Workshop Co-Chairs.

[BibT_eX]

[DOI]

Rajesh Subramanyan

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Model-based mutation testing - Approach and case studies.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Input Contract Testing of Graphical User Interfaces.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2016

Neden-Sonuc Cizgelerinden Test Girislerinin Olusturulmasi.

[BibT_eX]

[DOI]

Deniz Kavzak Ufuktepe

Proceedings of the 10th Turkish National Software Engineering Symposium, 2016

Karar Tablosu Destekli Olay Sira Cizgeleri Temelli Sinama Durum Uretim Araci.

[BibT_eX]

[DOI]

Proceedings of the 10th Turkish National Software Engineering Symposium, 2016

Message from the STA Workshop Organizers.

[BibT_eX]

[DOI]

Rajesh Subramanyan

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Message from the MVDA Workshop Organizers.

[BibT_eX]

[DOI]

Leila Jemni Ben Ayed

Ahlem Ben Younes

Yousra Bendaly Hlaoui

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Exploiting Model Morphology for Event-Based Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Fault domain-based testing in imperfect situations: a heuristic approach and case studies.

[BibT_eX]

[DOI]

Adenilso da Silva Simão

Softw. Qual. J., 2015

Model-Based Contract Testing of Graphical User Interfaces.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2015

Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Message from the STA 2015 Workshop Organizers.

[BibT_eX]

[DOI]

Rajesh Subramanyan

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Message from the MVDA 2015 Workshop Organizers.

[BibT_eX]

[DOI]

Leila Jemni Ben Ayed

Ahlem Ben Younes

Yousra Bendaly Hlaoui

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Model Based Testing of VHDL Programs.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

A holistic approach to model-based testing of Web service compositions.

[BibT_eX]

[DOI]

André Takeshi Endo

Adenilso da Silva Simão

Softw. Pract. Exp., 2014

2013

Using Regular Grammars for Event-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2013

Olay Tabanlı Sınama İçin Mutant Seçimi.

[BibT_eX]

[DOI]

Proceedings of the 7th National Software Engineering Symposium, 2013

Dependability and Software Reuse - Coupling Them by an Industrial Standard.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

Assuring Dependability of Software Reuse: An Industrial Standard.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 8th International Joint Conference, 2013

An Industrial Standard to Assure Dependability in Software Reuse.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2013, 2013

2012

Model-Based Mutation Testing Using Pushdown Automata.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2012

Modeling, Analysis, and Testing of System Vulnerabilities.

[BibT_eX]

[DOI]

Adv. Comput., 2012

Event-Oriented, Model-Based GUI Testing and Reliability Assessment - Approach and Case Study.

[BibT_eX]

[DOI]

Adv. Comput., 2012

Testing is an Event-Centric Activity.

[BibT_eX]

[DOI]

Atif M. Memon

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Verlässlichkeit bei Wiederverwendung von IT-Komponenten - zum Stand der Normungsaktivitäten.

[BibT_eX]

[DOI]

Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012

2011

Model-based testing of web service compositions.

[BibT_eX]

[DOI]

André Takeshi Endo

Adenilso da Silva Simão

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Mutation Testing of "Go-Back" Functions Based on Pushdown Automata.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Event-Based GUI Testing and Reliability Assessment Techniques - An Experimental Insight and Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Does "Depth" Really Matter? On the Role of Model Refinement for Testing and Reliability.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Statistical Evaluation of Test Sets Using Mutation Analysis.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Layer-Centric Testing.

[BibT_eX]

[DOI]

Proceedings of the ARCS 2011, 2011

Model-Based Integration Testing with Communication Sequence Graphs.

[BibT_eX]

[DOI]

Sascha Padberg

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Ereignis-basierter Test grafischer Benutzeroberflächen - ein Erfahrungsbericht.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2010

Event-driven modeling and testing of real-time web services.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2010

Software Test Automation.

[BibT_eX]

[DOI]

Adv. Softw. Eng., 2010

Towards Scalable Robustness Testing.

[BibT_eX]

[DOI]

W. Eric Wong

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Are Longer Test Sequences Always Better? - A Reliability Theoretical Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

A Formal Framework for Mutation Testing.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Fault Detection Likelihood of Test Sequence Length.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

MOTES2010 - Modellbasiertes Testen (Vorwort).

[BibT_eX]

[DOI]

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Vulnerabilities and Protection of Satellite Networks interconnected with terrestrial segments.

[BibT_eX]

[DOI]

Michele Luglio

Cesare Roseti

Proceedings of the Towards the Future Internet - Emerging Trends from European Research, 2010

Model-Based Higher-Order Mutation Analysis.

[BibT_eX]

[DOI]

Proceedings of the Advances in Software Engineering, 2010

Test Prioritization at Different Modeling Levels.

[BibT_eX]

[DOI]

Proceedings of the Advances in Software Engineering, 2010

Performance evaluation of TCP Noordwijk over satellite systems for fixed and mobile services.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Workshop on Computer Aided Modeling, 2010

2009

Advancing test automation technology to meet the challenges of model-based software testing - Guest editors' introduction to the special section of the Third IEEE International Workshop on Automation of Software Test (AST 2008).

[BibT_eX]

[DOI]

Hong Zhu

Inf. Softw. Technol., 2009

Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, 2009

Directed Acyclic Graph Modeling of Security Policies for Firewall Testing.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Communication Sequence Graphs for Mutation-Oriented Integration Testing.

[BibT_eX]

[DOI]

Sascha Padberg

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation.

[BibT_eX]

[DOI]

Markus Kleinselbeck

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies.

[BibT_eX]

[DOI]

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Event-Based Input Validation Using Design-by-Contract Patterns.

[BibT_eX]

[DOI]

Proceedings of the ISSRE 2009, 2009

Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces.

[BibT_eX]

Zhenyu Chen

Proceedings of the ICTA 2009, 2009

Structural Feature Extraction for GUI Test Enhancement.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Testing Composite Web Services-An Event-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

MOTES09 - Modellbasiertes Testen - 4. Workshop im Rahmen der Jahrestagung der Gesellschaft für Informatik am 29. September 2009 in Lübeck - Einführung und Übersicht über die angenommenen Beiträge.

[BibT_eX]

[DOI]

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

GUI-Based Testing of Boundary Overflow Vulnerability.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

2. Workshop Testmethoden für Software - Von der Forschung in die Praxis.

[BibT_eX]

[DOI]

Andreas Spillner

Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Test generation and minimization with "basic" statecharts.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test.

[BibT_eX]

[DOI]

Hong Zhu

W. Eric Wong

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

MOTES08 - Modellbasiertes Testen.

[BibT_eX]

[DOI]

Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

IWSC 2008 Workshop Organization.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Message from the IWSC 2008 Workshop Organizers.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Panel Description: 40 Years of Software Engineering.

[BibT_eX]

[DOI]

Cristina Cerschi Seceleanu

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Event-Driven Modeling and Testing of Web Services.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Test minimization for human-computer interaction.

[BibT_eX]

[DOI]

Appl. Intell., 2007

Einführung.

[BibT_eX]

Sami Beydeda

Proceedings of the Software Engineering 2007, 2007

WG1: Testmethoden für Software - Von der Forschung in die Praxis.

[BibT_eX]

Sami Beydeda

Proceedings of the Software Engineering 2007, 2007

"Negativ"-Tests interaktiver Systeme und ihre Automatisierung.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2007, 2007

Holistic testing with basic statecharts.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2007, 2007

Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.

[BibT_eX]

[DOI]

Nimal Nissanke

Proceedings of the Computer Safety, 2007

Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Event-based modelling, analysis and testing of user interactions: approach and case study.

[BibT_eX]

[DOI]

Lee White

Softw. Test. Verification Reliab., 2006

Introduction to the special section on software cybernetics.

[BibT_eX]

[DOI]

J. Syst. Softw., 2006

Holistic Testing of Interactive Systems Using Statecharts.

[BibT_eX]

[DOI]

Proceedings of the Sicherheit 2006: Sicherheit, 2006

Coverage-Based, Prioritized Testing Using Neural Network Clustering.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2006

Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie.

[BibT_eX]

[DOI]

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2005

Test Cost Reduction for Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Sicherheit 2005: Sicherheit, 2005

Towards Minimization of Test Sets for Coverage Testing of Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2005, 2005

A Holistic Approach to Test-Driven Model Checking.

[BibT_eX]

[DOI]

Baris Güldali

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Towards Minimization of Test Sets for Human-Computer Systems.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

View Graphs for Analysis and Testing of Programs at Different Abstraction Levels.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

Towards Self-Testing of Component-Based Software.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Software Testing via Model Checking.

[BibT_eX]

[DOI]

Baris Güldali

Proceedings of the Computer and Information Sciences, 2004

Minimal Spanning Set for Coverage Testing of Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2004

Towards Optimization of the Coverage Testing of Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Finite-State Modeling, Analysis and Testing of System Vulnerabilities.

[BibT_eX]

[DOI]

Nimal Nissanke

Proceedings of the ARCS 2004, 2004

2001

Finite-State Testing and Analysis of Graphical User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Engineering of Intelligent Systems, 2001

Software Reliability Engineering -- Risks, Challenges and Chances for Product and Process Improvement.

[BibT_eX]

[DOI]

Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

2000

Logic Representation of Programs to Detect Arithmetic Anomalies.

[BibT_eX]

[DOI]

Thomas Illgen

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

1999

Software Reliability Engineering - Risk Management for the New Millenium.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 1999

1998

Declarative Paradigm of Test Coverage.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1998

Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit.

[BibT_eX]

[DOI]

Matthias Grochtmann

Inform. Spektrum, 1998

Methoden und Hilfsmittel für die systematische Prüfung komplexer Software.

[BibT_eX]

[DOI]

Inform. Spektrum, 1998

1997

Program segmentation for controlling test coverage.

[BibT_eX]

[DOI]

Javier Dreyer

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

Empirical performance analysis of computer-supported code-reviews.

[BibT_eX]

[DOI]

Radu Crisan

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

1996

Towards automation of checklist-based code-reviews.

[BibT_eX]

[DOI]

Radu Crisan

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

1995

A test coverage notion for logic programming.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming.

[BibT_eX]

[DOI]

Javier Dreyer

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1994

Determining the Reliability of Prolog Programs.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1994

A test environment for Prolog.

[BibT_eX]

Proceedings of the SEKE'94, 1994

Reliability determination of Prolog programs.

[BibT_eX]

Proceedings of the SEKE'94, 1994

Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment.

[BibT_eX]

[DOI]

Alfried Pollmann

Radu Crisan

Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994

An Environment for Self-Testing of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994

Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming.

[BibT_eX]

[DOI]

Javier Dreyer

Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994

Reliability Prediction of Prolog Programs.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994

1993

Implementation-Oriented Testing and Reliability Determination of Prolog Programs.

[BibT_eX]

Proceedings of the SEKE'93, 1993

A Product Assurance Environment for Prolog.

[BibT_eX]

Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), 1993

Reliability Prediction and Reliability Assessment Environment or Prolog Programs.

[BibT_eX]

Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), 1993

Implementation-Based Analysis and Testing of Prolog Programs.

[BibT_eX]

[DOI]

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

Testing and reliability of logic programs.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

Model-Based Construction and Implementation-Oriented Evaluation of Complex Systems.

[BibT_eX]

Proceedings of the Systems Engineering in Public Administration, 1993

1992

Systematische Dokumentation logischer Programme.

[BibT_eX]

[DOI]

Alfred Schmidt

Proceedings of the Informatik zwischen Wissenschaft und Gesellschaft, 1992

1991

An Approach to the Reliability Optimization of Software with Redundancy.

[BibT_eX]

[DOI]

Piotr Jedrzejowicz

IEEE Trans. Software Eng., 1991

Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study.

[BibT_eX]

[DOI]

Karl-Erwin Großpietsch

IEEE Trans. Software Eng., 1991

Comparative analysis of concurrent fault tolerance techniques for real-time applications.

[BibT_eX]

[DOI]

Piotr Jedrzejowicz

Proceedings of the Second International Symposium on Software Reliability Engineering, 1991

1990

An Extension of PROLOG for Object-Oriented Programming in Logic.

[BibT_eX]

[DOI]

Alfred Schmidt

Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA, 1990

A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems.

[BibT_eX]

[DOI]

Ismael Camara

Alfred Schmidt

An Approach to Control Different Versions of Knowledge in Object-Oriented Systems and its Applications in FIREX.

[BibT_eX]

[DOI]

Hinrich E. G. Bonin

1989

Einsatz eines Gefahrgut-Informationssystems - Beobachtungen und Konsequenzen für die Weiterentwicklung.

[BibT_eX]

[DOI]

Hinrich E. G. Bonin

Proceedings of the Informatik im Umweltschutz, 1989

Some aspects on the development and validation of FIREX: a knowledge-based system for the transport of dangerous goods and fire department consulting.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA, 1989

ASH-Ein wissensorientierter Arbeitsplatz für die benutzerprogrammierbare Ablaufsteuerung in der Kommunalverwaltung.

[BibT_eX]

[DOI]

M. Klug

Werner van Treeck

Proceedings of the GI, 1989

1988

Fault-Tolerant Programs.

[BibT_eX]