181 citations · 933 across the 61 of their papers we have counts for
11 papers · 1 filter
Metamorphic Security Testing for Web Systems
Phu X. Mai, Fabrizio Pastore, Arda Goknil +1
Security testing verifies that the data and the resources of software systems are protected from attackers. Unfortunately, it suffers from the oracle problem, which refers to the c…
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
Fitash Ul Haq, Donghwan Shin, Shiva Nejati +1
There is a growing body of research on developing testing techniques for Deep Neural Networks (DNN). We distinguish two general modes of testing for DNNs: Offline testing where DNN…
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
Claudio Menghi, Shiva Nejati, Lionel C. Briand +1
Black-box testing has been extensively applied to test models of Cyber-Physical systems (CPS) since these models are not often amenable to static and symbolic testing and verificat…
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
Chaima Boufaied, Maris Jukss, Domenico Bianculli +2
The behavior of a cyber-physical system (CPS) is usually defined in terms of the input and output signals processed by sensors and actuators. Requirements specifications of CPSs ar…
Scalable Inference of System-level Models from Component Logs
Donghwan Shin, Salma Messaoudi, Domenico Bianculli +3
Behavioral software models play a key role in many software engineering tasks; unfortunately, these models either are not available during software development or, if available, th…
Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach
Chunhui Wang, Fabrizio Pastore, Arda Goknil +1
Acceptance testing is a validation activity performed to ensure the conformance of software systems with respect to their functional requirements. In safety critical systems, it pl…
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi +3
Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approa…
Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based Approach
Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh +3
The concept of Internet of Things (IoT) has led to the development of many complex and critical systems such as smart emergency management systems. IoT-enabled applications typical…
Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines
Ines Hajri, Arda Goknil, Fabrizio Pastore +1
Product Line Engineering (PLE) is a crucial practice in many software development environments where software systems are complex and developed for multiple customers with varying…
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul +1
Test automation requires automated oracles to assess test outputs. For cyber physical systems (CPS), oracles, in addition to be automated, should ensure some key objectives: (i) th…
Practical Constraint Solving for Generating System Test Data
Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand
The ability to generate test data is often a necessary prerequisite for automated software testing. For the generated data to be fit for its intended purpose, the data usually has…