Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Ulf Norell"'
Publikováno v:
AST@ICSE
Random testing is increasingly popular and successful, but tends to spend most time rediscovering the ``most probable bugs'' again and again, reducing the value of long test runs on buggy software. We present a new automated method to adapt random te
Publikováno v:
SAE International Journal of Passenger Cars - Electronic and Electrical Systems. 5:209-213
Autor:
Ulf Norell, Alex Gerdes
Publikováno v:
Erlang Workshop
Many functions take a value of a particular (recursive) data structure as input and compute an output value by traversing the structure and collect, combine, or update values in that data structure. Some examples are: collecting all hyperlink tags in
Publikováno v:
ICST Workshops
AUTOSAR (AUTomotive Open System ARchitecture) is an evolving standard for embedded software in vehicles, defined by the automotive industry, and implemented by many different vendors. On behalf of Volvo Cars, we have developed model-based acceptance
Publikováno v:
Erlang Workshop
It is a challenge to write test cases for software with blocking operations, i.e. operations that do not return until data become available. One should prevent the test case itself to block, whereas at the same time, one wants to test the blocking be
Autor:
Ulf Norell
Publikováno v:
ICFP
In dependently typed languages run-time values can appear in types, making it possible to give programs more precise types than in languages without dependent types. This can range from keeping track of simple invariants like the length of a list, to
Publikováno v:
Advanced Mathematical and Computational Tools in Metrology and Testing IX
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b7b39cf8649fff6e14924bb25fa7c00
https://doi.org/10.1142/9789814397957_0048
https://doi.org/10.1142/9789814397957_0048
Publikováno v:
Erlang Workshop
Race conditions are notoriously frustrating to find, and good tools can help. The main difficulty is reliably provoking the race condition. In previous work we presented a randomising scheduler for Erlang that helps with this task.In a language witho
Autor:
Nils Anders Danielsson, Ulf Norell
Publikováno v:
Implementation and Application of Functional Languages ISBN: 9783642244513
IFL
IFL
A simple grammar scheme for expressions containing mixfix operators is presented. The scheme is parameterised by a precedence relation which is only restricted to be a directed acyclic graph; this makes it possible to build up precedence relations in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0d17401a19854cc1f6e21ba65cec8cd9
https://doi.org/10.1007/978-3-642-24452-0_5
https://doi.org/10.1007/978-3-642-24452-0_5
Publikováno v:
AST
Asynchronous events are awkward to handle in specification-based testing. State machine specifications become very complex when variable event order, timing constraints, and timing uncertainties must all be captured. We propose an alternative formali