Mauro Pezzè

Ali Mohebbi

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

GAssert: A Fully Automated Tool to Improve Assertion Oracles.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Improving assertion oracles with evolutionary computation.

[BibT_eX]

[DOI]

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

An Evolutionary Approach to Adapt Tests Across Mobile Apps.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Conference on Automation of Software Test, 2021

2020

Peer Review: Trust and Prejudice.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2020

Predicting failures in multi-tier distributed systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Evolutionary improvement of assertion oracles.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Measuring Software Testability Modulo Test Quality.

[BibT_eX]

[DOI]

Pasquale Salza

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

2019

Editorial.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2019

Editorial from the Incoming Editor-in-Chief.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2019

Research on NLP for RE at Università della Svizzera Italiana (USI): A Report.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies.

[BibT_eX]

[DOI]

Francesco Adalberto Bianchi

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

An RBM Anomaly Detector for the Cloud.

[BibT_eX]

[DOI]

Cristina Monni

Gaetano Prisco

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Energy-based anomaly detection a new perspective for predicting software failures.

[BibT_eX]

[DOI]

Cristina Monni

Francesco Adalberto Bianchi

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

2018

A Survey of Recent Trends in Testing Concurrent Software Systems.

[BibT_eX]

[DOI]

Alessandro Margara

IEEE Trans. Software Eng., 2018

Effectiveness and challenges in generating concurrent tests for thread-safe classes.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Automatic GUI testing of desktop applications: an empirical assessment of the state of the art.

[BibT_eX]

[DOI]

Sergio Delgado Castellanos

Paolo Rondena

Daniele Zuddas

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Translating code comments to procedure specifications.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Localizing Faults in Cloud Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles.

[BibT_eX]

[DOI]

Daniele Zuddas

Proceedings of the 40th International Conference on Software Engineering, 2018

SUSHI: a test generator for programs with complex structured inputs.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

GK-Tail+ An Efficient Approach to Learn Software Models.

[BibT_eX]

[DOI]

Mauro Santoro

IEEE Trans. Software Eng., 2017

Reproducing concurrency failures from crash stacks.

[BibT_eX]

[DOI]

Francesco A. Bianchi

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Combining symbolic execution and search-based testing for programs with complex heap inputs.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

An Exploratory Study of Field Failures.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions.

[BibT_eX]

[DOI]

Andrea Aquino

Proceedings of the 39th International Conference on Software Engineering, 2017

Intrinsic Redundancy for Reliability and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Bidirectional Symbolic Analysis for Effective Branch Testing.

[BibT_eX]

[DOI]

Mauro Baluda

IEEE Trans. Software Eng., 2016

Kriging-Based Self-Adaptive Cloud Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2016

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2016

Model-driven generation of runtime checks for system properties.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2016

JBSE: a symbolic executor for Java programs with complex heap inputs.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Automatic generation of oracles for exceptional behaviors.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015

Introduction to the Special Issue on ISSTA 2013.

[BibT_eX]

[DOI]

Mark Harman

ACM Trans. Softw. Eng. Methodol., 2015

Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2015

Automated Test Oracles: A Survey.

[BibT_eX]

[DOI]

Cheng Zhang

Adv. Comput., 2015

Recent Advances in Automatic Black-Box Testing.

[BibT_eX]

[DOI]

Daniele Zuddas

Adv. Comput., 2015

Symbolic execution of programs with heap inputs.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Intrinsic software redundancy for self-healing software systems, automated oracle generation.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Reusing constraint proofs in program analysis.

[BibT_eX]

[DOI]

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

Towards Cost-Effective Oracles.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

Towards an Engineering Methodology for Multi-model Scientific Simulations.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for High Performance Computing in Science, 2015

Dynamic Data Flow Testing of Object Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Measuring Software Redundancy.

[BibT_eX]

[DOI]

Andrea Mattavelli

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Efficient analysis of event processing applications.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015

2014

Introduction to the Special Issue International Conference on Software Engineering (ICSE 2012).

[BibT_eX]

[DOI]

Gail C. Murphy

ACM Trans. Softw. Eng. Methodol., 2014

Automatic test case evolution.

[BibT_eX]

[DOI]

Mehdi MirzaAghaei

Softw. Test. Verification Reliab., 2014

Automatic testing of GUI-based applications.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2014

Search-based synthesis of equivalent method sequences.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Link: exploiting the web of data to generate test inputs.

[BibT_eX]

[DOI]

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

On the Right Objectives of Data Flow Testing.

[BibT_eX]

[DOI]

Mattia Vivanti

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Mining behavior models from user-intensive web applications.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Cross-checking oracles from intrinsic software redundancy.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Assurance of Self-adaptive Controllers for the Cloud.

[BibT_eX]

[DOI]

Proceedings of the Assurances for Self-Adaptive Systems, 2013

Graph transformations and software engineering: Success stories and lost chances.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2013

Test-and-adapt: An approach for improving service interchangeability.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

Exception handlers for healing component-based systems.

[BibT_eX]

[DOI]

Hervé Chang

ACM Trans. Softw. Eng. Methodol., 2013

Kriging Controllers for Cloud Applications.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2013

Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Adaptive REST applications via model inference and probabilistic model checking.

[BibT_eX]

[DOI]

Giordano Tamburrelli

Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Generating Effective Integration Test Cases from Unit Ones.

[BibT_eX]

[DOI]

Konstantin Rubinov

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Improving Interaction with Services via Probabilistic Piggybacking.

[BibT_eX]

[DOI]

Giordano Tamburrelli

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Quantifying the complexity of dataflow testing.

[BibT_eX]

[DOI]

Mattia Vivanti

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

Automatic recovery from runtime failures.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Supporting Test Suite Evolution through Test Case Adaptation.

[BibT_eX]

[DOI]

Mehdi MirzaAghaei

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

AutoBlackTest: Automatic Black-Box Testing of Interactive Applications.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

From off-Line to continuous on-line maintenance.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2011

Dynamic Analysis for Diagnosing Integration Faults.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

Enhancing structural software coverage by incrementally computing branch executability.

[BibT_eX]

[DOI]

Softw. Qual. J., 2011

Self-Repairing Programs (Dagstuhl Seminar 11062).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2011

AutoBlackTest: a tool for automatic black-box testing.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Achieving Cost-Effective Software Reliability Through Self-Healing.

[BibT_eX]

[DOI]

Comput. Informatics, 2010

Automatic workarounds for web applications.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

On the Integration of Software Testing and Formal Analysis.

[BibT_eX]

[DOI]

Proceedings of the Empirical Software Engineering and Verification, 2010

Engineering Autonomic Controllers for Virtualized Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 10th International Conference, 2010

Automatically repairing test cases for evolving method declarations.

[BibT_eX]

[DOI]

Mehdi MirzaAghaei

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

SEIM: static extraction of interaction models.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010

Protecting SLAs with surrogate models.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

RAW: runtime automatic workarounds.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Structural coverage of feasible code.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Automation of Software Test, 2010

Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Software Engineering for Self-Adaptive Systems: A second Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

Introducing Continuous Systematic Testing of Evolving Software.

[BibT_eX]

[DOI]

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

Towards autonomic service-oriented applications.

[BibT_eX]

[DOI]

Int. J. Auton. Comput., 2009

Automatic steering of behavioral model inference.

[BibT_eX]

[DOI]

David Lo

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Ensuring interoperable service-oriented systems through engineered self-healing.

[BibT_eX]

[DOI]

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

LuMiNous - model-driven assertion generation for runtime failure detection.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

A toolset for automated failure analysis.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

SLA Protection models for virtualized data centers.

[BibT_eX]

[DOI]

Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

DaTeC: Contextual data flow testing of java classes.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

In-field healing of integration problems with COTS components.

[BibT_eX]

[DOI]

Hervé Chang

Proceedings of the 31st International Conference on Software Engineering, 2009

Toward deeply adaptive societies of digital systems.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Automatic Generation of Runtime Failure Detectors from Property Templates.

[BibT_eX]

[DOI]

Giovanna Di Marzo Serugendo

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

Engineering Self-Adaptive Systems through Feedback Loops.

[BibT_eX]

[DOI]

Yuriy Brun

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

2008

Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006).

[BibT_eX]

[DOI]

David Notkin

ACM Trans. Softw. Eng. Methodol., 2008

Healing Web applications through automatic workarounds.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2008

Self-healing strategies for component integration faults.

[BibT_eX]

[DOI]

Hervé Chang

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

Visibility of control in adaptive systems.

[BibT_eX]

[DOI]

Hausi A. Müller

Mary Shaw

Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, 2008

Automatic generation of software behavioral models.

[BibT_eX]

[DOI]

Davide Lorenzoli

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

Self-healing by means of automatic workarounds.

[BibT_eX]

[DOI]

Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

Handling Software Faults with Redundancy.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems VI, 2008

A Formal Framework for Developing Adaptable Service-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Contextual Integration Testing of Classes.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Introduction to the special section on FASE 2003.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2007

Dynamic Detection of COTS Component Incompatibility.

[BibT_eX]

[DOI]

IEEE Softw., 2007

SOQUA 2007: 4th international workshop on software quality assurance.

[BibT_eX]

[DOI]

Onn Shehory

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Iterative model-driven development of adaptable service-based applications.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Towards Self-Protecting Enterprise Applications.

[BibT_eX]

[DOI]

Davide Lorenzoli

Proceedings of the ISSRE 2007, 2007

Compatibility and Regression Testing of COTS-Component-Based Software.

[BibT_eX]

[DOI]

Sofia Papagiannakis

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

SHIWS: A Self-Healing Integrator for Web Services.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Designing Self-Adaptive Service-Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Autonomic Computing (ICAC'07), 2007

Software testing and analysis - process, principles and techniques.

[BibT_eX]

Wiley, ISBN: 978-0-471-45593-6, 2007

2006

Towards self-adaptive service-oriented architectures.

[BibT_eX]

[DOI]

Proceedings of the 2006 Workshop on Testing, 2006

A SOA based Self-Adaptive PERSONAL MOBILITY MANAGER.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005

Formal interpreters for diagram notations.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2005

Adaptive integration of third-party web services.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Adaptive Runtime Verification for Autonomic Communication Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on a World of Wireless, 2005

Scavenging Complex Genomic Information Using Mobile Code: An Evaluation.

[BibT_eX]

[DOI]

Gian Pietro Picco

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Behavior Capture and Test: Automated Analysis of Component Integration.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

From Graph Transformation to Software Engineering and Back.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Preface.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

A Technique for Verifying Component-Based Software.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

An Introduction to Software Testing.

[BibT_eX]

[DOI]

Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004

Petri Nets as Semantic Domain for Diagram Notations.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

Testing Object Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Generation of Integration Tests for Self-Testing Components.

[BibT_eX]

[DOI]

David Willmor

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

Towards Industrially Relevant Fault-Proneness Models.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2003

Self-Test Components for Highly Reconfigurable Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Design for Testability for Highly Reconfigurable Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Research Demonstrations and Posters.

[BibT_eX]

[DOI]

Bruce Schafer

Proceedings of the 25th International Conference on Software Engineering, 2003

Petri Nets and Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

A formal design notation for real-time systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2002

PLCTools: Graph Transformation Meets PLC Design.

[BibT_eX]

[DOI]

Marco Mauri

Proceedings of the International Workshop on Graph-Based Tools, 2002

Deriving models of software fault-proneness.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

An empirical evaluation of fault-proneness models.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

Interclass Testing of Object Oriented Software.

[BibT_eX]

[DOI]

Vincenzo Martena

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

A Toolbox for Automating Visual Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001.

[BibT_eX]

[DOI]

Gabriele Taentzer

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Improving UML with Petri nets.

[BibT_eX]

[DOI]

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Editorial.

[BibT_eX]

Sol M. Shatz

Comput. Syst. Sci. Eng., 2001

Using symbolic execution for verifying safety-critical systems.

[BibT_eX]

[DOI]

Alberto Coen-Porisini

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Mutant Operators for Testing Concurrent Java Programs.

[BibT_eX]

[DOI]

Márcio E. Delamaro

Auri M. R. Vincenzi

Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

On Formalizing UML with High-Level Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

2000

PLCTOOLS: design, formal validation, and code generation for programmable controllers.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000

Automated Testing of Classes.

[BibT_eX]

[DOI]

Ugo A. Buy

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

The ICSE2000 doctoral workshop.

[BibT_eX]

[DOI]

Jeff Magee

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Can Graph Grammars Make Formal Methods More Human?

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

1999

A Formal Definition of Stuctured Analysis with Programmable Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998

Toward Formalizing Structured Analysis.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1998

A technique for designing robotic control systems based on Petri nets.

[BibT_eX]

[DOI]

Andrea Caloini

GianAntonio Magnani

IEEE Trans. Control. Syst. Technol., 1998

A non-temporized approach for temporized analysis.

[BibT_eX]

[DOI]

Francesco Calzolari

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

1997

The Road to Maturity: Navigating Between Craft and Science.

[BibT_eX]

[DOI]

IEEE Softw., 1997

Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models.

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

Introducing Formal Specification Methods in Industrial Practice.

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

LEMMA: a language for easy medical models analysis.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 1997

1996

Generation of Multi-Formalism State-Space Analysis Tools.

[BibT_eX]

[DOI]

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

A Software Architecture Approach for Designing CASE Systems.

[BibT_eX]

[DOI]

Sergio Silva

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995

Graph Models for Reachability of Concurrent Programs.

[BibT_eX]

[DOI]

Richard N. Taylor

ACM Trans. Softw. Eng. Methodol., 1995

Customizable notations for kernel formalisms.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Property decomposition to speed up analysis.

[BibT_eX]

[DOI]

Francesco Calzolari

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994

Validating timing requirements for time basic net specifications.

[BibT_eX]

[DOI]

J. Syst. Softw., 1994

1993

High-Level Timed Petri Nets as a Kernel for Executable Specifications.

[BibT_eX]

[DOI]

Real Time Syst., 1993

Giving Semantics to SA/RT by Means of High-Level Times Petri Nets.

[BibT_eX]

[DOI]

René Elmstrøm

Raino Lintulampi

Real Time Syst., 1993

Towards Extensible Graphical Formalisms.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Merlot: A Tool for Analysis of Real-Time Specifications.

[BibT_eX]

[DOI]

Carlo Bellettini

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Analyzing Refinements of State Based Specifications: The Case of TB Nets.

[BibT_eX]

[DOI]

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

Parallel Execution of Real-Time Petri Nets.

[BibT_eX]

[DOI]

Kim Portman

Proceedings of the Advances in Software Engineering and Knowledge Engineering, 1993

1992

Formal Specification and Timing Analysis of High-Integrity Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Real Time Computing, 1992

1991

A Unified High-Level Petri Net Formalism for Time-Critical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1991

Timed High-Level Nets.

[BibT_eX]

[DOI]

Marco Trubian

Real Time Syst., 1991

1989

Symbolic Execution of Concurrent Systems Using Petri Nets.

[BibT_eX]

[DOI]

Comput. Lang., 1989

A general way to put time in Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

Validation of Concurrent ADA Programs using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the ESEC '89, 1989

1987

On the Role of Software Reliability in Software Engineering.

[BibT_eX]

[DOI]

Angelo Morzenti