Building an open-source system test generation tool: lessons learned and empirical analyses with EvoMaster

Andrea Arcuri1,2, Man Zhang1, Asma Belhadi1

  • 1Kristiania University College, Oslo, Norway.

Software Quality Journal
|September 11, 2023
PubMed

Related Concept Videos

Distribution Reliability and Automation01:25

Distribution Reliability and Automation

Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...
129
Quality Assurance01:19

Quality Assurance

Quality assurance is the overarching term used to describe the activities employed to ensure the proper performance of a system. These activities can be classified into three categories: quality control, quality assessment, and internal corrective measures. Typically, these activities work cyclically: quality control is performed before and during the analysis, while quality assessment occurs during and after the investigation. Internal corrective measures are implemented based on the findings...
155
Vebe Test01:22

Vebe Test

The Vebe test is a method used to measure the workability of concrete, particularly effective for dry concrete mixes. This test employs a specific apparatus that includes a cylindrical chamber, a standard slump cone, and a transparent disc-shaped rider, all mounted on a vibrating table. The cylindrical chamber has dimensions of nine and a half inches in diameter and eight inches in height.
To conduct the test, concrete is placed into the slump cone. The concrete is filled in layers and...
173
Electro-mechanical Systems01:19

Electro-mechanical Systems

Electromechanical systems are intricate configurations that effectively combine electrical and mechanical elements to achieve a desired outcome. Central to many of these systems is the DC motor, a device that converts electrical energy into mechanical motion, enabling various applications ranging from simple fans to complex robotic mechanisms.
A key component of the DC motor is the armature, a rotating circuit positioned within a magnetic field. As an electric current passes through the...
1.0K
Testing Water Quality01:14

Testing Water Quality

When the quality of water for concrete preparation is uncertain, its impact on the setting time of cement and compressive strength of mortar is assessed by comparison with de-ionized or distilled water benchmarks. American Society for Testing and Materials (ASTM) C1602 requires the setting times to be within 90 minutes of the control, British Standard (BS) 3146:1980 allows a 30-minute variance in the initial setting, while British Standards European Norm (BS EN) 1008 specifies initial setting...
135
Econometric Views (EViews)01:29

Econometric Views (EViews)

Econometric Views, often stylized as EViews, is a package that merges statistical analysis with econometric studies. It is designed to provide tools for time series analysis, forecasting, and econometric model simulation. The software originated from MicroTSP software and has evolved significantly since its inception in 1981. The history of EViews is marked by a continuous effort to enhance its computational speed and user interface. It was initially developed for large computing systems but...
167