Generation of optimal finite test suites for timed systems

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.29 ◽

2007 ◽

Cited By ~ 4

Author(s):

Mercedes G. Merayo ◽

Manuel Nunez ◽

Ismael Rodriguez

Keyword(s):

Timed Systems ◽

Test Suites

Download Full-text

State RFRAs and the Intermediate Questions of Religious Exemptions--A Research Agenda with Test Suites

SSRN Electronic Journal ◽

10.2139/ssrn.200479 ◽

2000 ◽

Author(s):

Eugene Volokh

Keyword(s):

Research Agenda ◽

Test Suites

Download Full-text

Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232931 ◽

2020 ◽

Author(s):

George Ungureanu ◽

Rodolfo Jordao ◽

Ingo Sander

Keyword(s):

Parallel Simulation ◽

Timed Systems ◽

Dataflow Models

Download Full-text

Automated Synthesis of Comprehensive Memory Model Litmus Test Suites

ACM SIGARCH Computer Architecture News ◽

10.1145/3093337.3037723 ◽

2017 ◽

Vol 45 (1) ◽

pp. 661-675

Author(s):

Daniel Lustig ◽

Andrew Wright ◽

Alexandros Papakonstantinou ◽

Olivier Giroux

Keyword(s):

Memory Model ◽

Automated Synthesis ◽

Litmus Test ◽

Test Suites

Download Full-text

Assessing test suites of extended finite state machines against model‐ and code‐based faults

Software Testing Verification and Reliability ◽

10.1002/stvr.1789 ◽

2021 ◽

Author(s):

K. El‐Fakih ◽

Ayman Alzaatreh ◽

Uraz Cengiz Türker

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Test Suites

Download Full-text

Automated Synthesis of Comprehensive Memory Model Litmus Test Suites

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '17 ◽

10.1145/3037697.3037723 ◽

2017 ◽

Cited By ~ 21

Author(s):

Daniel Lustig ◽

Andrew Wright ◽

Alexandros Papakonstantinou ◽

Olivier Giroux

Keyword(s):

Memory Model ◽

Automated Synthesis ◽

Litmus Test ◽

Test Suites

Download Full-text

Constructing Test Suites for Real-Time Embedded Systems Under Input Timing Constraints

IEEE Access ◽

10.1109/access.2019.2898009 ◽

2019 ◽

Vol 7 ◽

pp. 20920-20937

Author(s):

Yunlong Sheng ◽

Shouda Jiang ◽

Changan Wei

Keyword(s):

Embedded Systems ◽

Real Time ◽

Timing Constraints ◽

Test Suites

Download Full-text

Comparing the maintainability of selenium WebDriver test suites employing different locators: a case study

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation - JAMAICA 2013 ◽

10.1145/2489280.2489284 ◽

2013 ◽

Cited By ~ 16

Author(s):

Maurizio Leotta ◽

Diego Clerissi ◽

Filippo Ricca ◽

Cristiano Spadaro

Keyword(s):

Test Suites

Download Full-text

A Symbolic Decision Procedure for Robust Safety of Timed Systems

14th International Symposium on Temporal Representation and Reasoning (TIME'07) ◽

10.1109/time.2007.39 ◽

2007 ◽

Cited By ~ 6

Author(s):

Mani Swaminathan ◽

Martin Franzle

Keyword(s):

Decision Procedure ◽

Timed Systems

Download Full-text

Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization

2010 Third International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2010.22 ◽

2010 ◽

Cited By ~ 40

Author(s):

Wes Masri ◽

Rawad Abou Assi

Keyword(s):

Fault Localization ◽

Test Suites

Download Full-text

Efficient adaptation and high reusability of test suites in a black box testing environment

2015 23rd Telecommunications Forum Telfor (TELFOR) ◽

10.1109/telfor.2015.7377634 ◽

2015 ◽

Author(s):

M. Drazic Vignjevic ◽

M. Vucicevic ◽

M. Djukic ◽

B. Radin

Keyword(s):

Black Box ◽

Testing Environment ◽

Black Box Testing ◽

Test Suites

Download Full-text