Search

Your search keyword '"Walkinshaw, Neil"' showing total 199 results
Start Over Author "Walkinshaw, Neil"
199 results on '"Walkinshaw, Neil"'

1. Learning EFSM Models with Registers in Guards

Author

Vega, Germán, Groz, Roland, Oriat, Catherine, Foster, Michael, Walkinshaw, Neil, and Simão, Adenilso

Subjects
Computer Science - Formal Languages and Automata Theory
Abstract

This paper presents an active inference method for Extended Finite State Machines, where inputs and outputs are parametrized, and transitions can be conditioned by guards involving input parameters and internal variables called registers. The method applies to (software) systems that cannot be reset, so it learns an EFSM model of the system on a single trace., Comment: 14 pages (last page blank), 8 figures, 4 algorithms Submitted to LearnAut workshop 2024 (not published)

Published
2024

2. Bounding Random Test Set Size with Computational Learning Theory

Author

Walkinshaw, Neil, Foster, Michael, Rojas, Jose Miguel, and Hierons, Robert M

Subjects
Computer Science - Software Engineering
Abstract

Random testing approaches work by generating inputs at random, or by selecting inputs randomly from some pre-defined operational profile. One long-standing question that arises in this and other testing contexts is as follows: When can we stop testing? At what point can we be certain that executing further tests in this manner will not explore previously untested (and potentially buggy) software behaviors? This is analogous to the question in Machine Learning, of how many training examples are required in order to infer an accurate model. In this paper we show how probabilistic approaches to answer this question in Machine Learning (arising from Computational Learning Theory) can be applied in our testing context. This enables us to produce an upper bound on the number of tests that are required to achieve a given level of adequacy. We are the first to enable this from only knowing the number of coverage targets (e.g. lines of code) in the source code, without needing to observe a sample test executions. We validate this bound on a large set of Java units, and an autonomous driving system., Comment: Preprint, accepted to FSE 2024

Published
2024
Full Text
View/download PDF

3. Testing Causality in Scientific Modelling Software

Author

Clark, Andrew G., Foster, Michael, Prifling, Benedikt, Walkinshaw, Neil, Hierons, Robert M., Schmidt, Volker, and Turner, Robert D.

Subjects
Computer Science - Software Engineering, D.2.5, I.6.4
Abstract

From simulating galaxy formation to viral transmission in a pandemic, scientific models play a pivotal role in developing scientific theories and supporting government policy decisions that affect us all. Given these critical applications, a poor modelling assumption or bug could have far-reaching consequences. However, scientific models possess several properties that make them notoriously difficult to test, including a complex input space, long execution times, and non-determinism, rendering existing testing techniques impractical. In fields such as epidemiology, where researchers seek answers to challenging causal questions, a statistical methodology known as Causal Inference has addressed similar problems, enabling the inference of causal conclusions from noisy, biased, and sparse data instead of costly experiments. This paper introduces the Causal Testing Framework: a framework that uses Causal Inference techniques to establish causal effects from existing data, enabling users to conduct software testing activities concerning the effect of a change, such as Metamorphic Testing, a posteriori. We present three case studies covering real-world scientific models, demonstrating how the Causal Testing Framework can infer metamorphic test outcomes from reused, confounded test data to provide an efficient solution for testing scientific modelling software.

Published
2022

5. Test case generation for agent-based models: A systematic literature review

Author

Clark, Andrew G., Walkinshaw, Neil, and Hierons, Robert M.

Subjects
Computer Science - Software Engineering, Computer Science - Multiagent Systems
Abstract

Agent-based models play an important role in simulating complex emergent phenomena and supporting critical decisions. In this context, a software fault may result in poorly informed decisions that lead to disastrous consequences. The ability to rigorously test these models is therefore essential. In this systematic literature review, we answer five research questions related to the key aspects of test case generation in agent-based models: What are the information artifacts used to generate tests? How are these tests generated? How is a verdict assigned to a generated test? How is the adequacy of a generated test suite measured? What level of abstraction of an agent-based model is targeted by a generated test? Our results show that whilst the majority of techniques are effective for testing functional requirements at the agent and integration levels of abstraction, there are comparatively few techniques capable of testing society-level behaviour. Additionally, we identify a need for more thorough evaluation using realistic case studies that feature challenging properties associated with a typical agent-based model.

Published
2021
Full Text
View/download PDF

6. Active Inference of EFSMs Without Reset

Author

Foster, Michael, Groz, Roland, Oriat, Catherine, Simao, Adenilso, Vega, Germán, Walkinshaw, Neil, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Li, Yi, editor, and Tahar, Sofiène, editor

Published
2023
Full Text
View/download PDF

9. Reverse-Engineering EFSMs with Data Dependencies

Author

Foster, Michael, Derrick, John, Walkinshaw, Neil, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Clark, David, editor, Menendez, Hector, editor, and Cavalli, Ana Rosa, editor

Published
2022
Full Text
View/download PDF

10. Finding Clustering Configurations to Accurately Infer Packet Structures from Network Data

Author

Esoul, Othman and Walkinshaw, Neil

Subjects
Computer Science - Networking and Internet Architecture
Abstract

Clustering is often used for reverse engineering network protocols from captured network traces. The performance of clustering techniques is often contingent upon the selection of various parameters, which can have a severe impact on clustering quality. In this paper we experimentally investigate the effect of four different parameters with respect to network traces. We also determining the optimal parameter configuration with respect to traces from four different network protocols. Our results indicate that the choice of distance measure and the length of the message has the most substantial impact on cluster accuracy. Depending on the type of protocol, the $n$-gram length can also have a substantial impact., Comment: 14 pages, 3 figures

Published
2016

11. Uncertainty-Driven Black-Box Test Data Generation

Author

Walkinshaw, Neil and Fraser, Gordon

Subjects
Computer Science - Software Engineering
Abstract

We can never be certain that a software system is correct simply by testing it, but with every additional successful test we become less uncertain about its correctness. In absence of source code or elaborate specifications and models, tests are usually generated or chosen randomly. However, rather than randomly choosing tests, it would be preferable to choose those tests that decrease our uncertainty about correctness the most. In order to guide test generation, we apply what is referred to in Machine Learning as "Query Strategy Framework": We infer a behavioural model of the system under test and select those tests which the inferred model is "least certain" about. Running these tests on the system under test thus directly targets those parts about which tests so far have failed to inform the model. We provide an implementation that uses a genetic programming engine for model inference in order to enable an uncertainty sampling technique known as "query by committee", and evaluate it on eight subject systems from the Apache Commons Math framework and JodaTime. The results indicate that test generation using uncertainty sampling outperforms conventional and Adaptive Random Testing.

Published
2016

13. Do maternal haemodynamics have a causal influence on treatment for gestational diabetes?

Author

Anness, Abigail R., Foster, Michael, Osman, Mohammed W., Webb, David, Robinson, Thompson, Khalil, Asma, Walkinshaw, Neil, and Mousa, Hatem A.

Subjects
PULSE wave analysis, GESTATIONAL diabetes, CARDIAC output, HEART beat, CAUSAL inference
Abstract

Background: Arterial stiffening is believed to contribute to the worsening of insulin resistance, and factors which are associated with needing pharmacological treatment of gestational diabetes (GDM), such as maternal obesity or advanced age, are associated with impaired cardiovascular adaptation to pregnancy. In this observational study, we aimed to investigate causal relationships between maternal haemodynamics and treatment requirement amongst women with GDM. Methods: We assessed maternal haemodynamics in women with GDM, comparing those who remained on dietary treatment with those who required pharmacological management. Maternal haemodynamics were assessed using the Arteriograph® (TensioMed Ltd, Budapest, Hungary) and the NICOM® non-invasive bio-reactance method (Cheetah Medical, Portland, Oregon, USA). A graphical causal inference technique was used for statistical analysis. Results: 120 women with GDM were included in the analysis. Maternal booking BMI was identified as having a causative influence on treatment requirement, with each unit increase in BMI increasing the odds of needing metformin and/or insulin therapy by 12% [OR 1.12 (1.02 - 1.22)]. The raw values of maternal heart rate (87.6 ±11.7 vs. 92.9 ±11.90 bpm, p = 0.014) and PWV (7.8 ±1.04 vs. 8.4 ±1.61 m/s, p = 0.029) were both significantly higher amongst the women requiring pharmacological management, though these relationships did not remain significant in causal logistic regression. Conclusions: Maternal BMI at booking has a causal, rather than simply associational, relationship on the need for pharmacological treatment of GDM. No significant causal relationships were found between maternal haemodynamics and the need for pharmacological treatment. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

14. SEPIA: Search for Proofs Using Inferred Automata

Author

Gransden, Thomas, Walkinshaw, Neil, and Raman, Rajeev

Subjects
Computer Science - Logic in Computer Science
Abstract

This paper describes SEPIA, a tool for automated proof generation in Coq. SEPIA combines model inference with interactive theorem proving. Existing proof corpora are modelled using state-based models inferred from tactic sequences. These can then be traversed automatically to identify proofs. The SEPIA system is described and its performance evaluated on three Coq datasets. Our results show that SEPIA provides a useful complement to existing automated tactics in Coq., Comment: To appear at 25th International Conference on Automated Deduction

Published
2015

16. Mining State-Based Models from Proof Corpora

Author

Gransden, Thomas, Walkinshaw, Neil, and Raman, Rajeev

Subjects
Computer Science - Logic in Computer Science
Abstract

Interactive theorem provers have been used extensively to reason about various software/hardware systems and mathematical theorems. The key challenge when using an interactive prover is finding a suitable sequence of proof steps that will lead to a successful proof requires a significant amount of human intervention. This paper presents an automated technique that takes as input examples of successful proofs and infers an Extended Finite State Machine as output. This can in turn be used to generate proofs of new conjectures. Our preliminary experiments show that the inferred models are generally accurate (contain few false-positive sequences) and that representing existing proofs in such a way can be very useful when guiding new ones., Comment: To Appear at Conferences on Intelligent Computer Mathematics 2014

Published
2014

17. Measurement

Author

Walkinshaw, Neil, Mackie, Ian, Series editor, Abramsky, Samson, Advisory board, Breitman, Karin, Advisory board, Hankin, Chris, Advisory board, Kozen, Dexter C., Advisory board, Pitts, Andrew, Advisory board, Riis Nielson, Hanne, Advisory board, Skiena, Steven S, Advisory board, Stewart, Iain, Advisory board, and Walkinshaw, Neil

Published
2017
Full Text
View/download PDF

18. Conclusions

Author

Walkinshaw, Neil, Mackie, Ian, Series editor, Abramsky, Samson, Advisory board, Breitman, Karin, Advisory board, Hankin, Chris, Advisory board, Kozen, Dexter C., Advisory board, Pitts, Andrew, Advisory board, Riis Nielson, Hanne, Advisory board, Skiena, Steven S, Advisory board, Stewart, Iain, Advisory board, and Walkinshaw, Neil

Published
2017
Full Text
View/download PDF

19. Software Inspections, Code Reviews, and Safety Arguments

Author

Walkinshaw, Neil, Mackie, Ian, Series editor, Abramsky, Samson, Advisory board, Breitman, Karin, Advisory board, Hankin, Chris, Advisory board, Kozen, Dexter C., Advisory board, Pitts, Andrew, Advisory board, Riis Nielson, Hanne, Advisory board, Skiena, Steven S, Advisory board, Stewart, Iain, Advisory board, and Walkinshaw, Neil

Published
2017
Full Text
View/download PDF

20. Testing

Author

Walkinshaw, Neil, Mackie, Ian, Series editor, Abramsky, Samson, Advisory board, Breitman, Karin, Advisory board, Hankin, Chris, Advisory board, Kozen, Dexter C., Advisory board, Pitts, Andrew, Advisory board, Riis Nielson, Hanne, Advisory board, Skiena, Steven S, Advisory board, Stewart, Iain, Advisory board, and Walkinshaw, Neil

Published
2017
Full Text
View/download PDF

21. Planning Activities and Predicting Costs

Author

Walkinshaw, Neil, Mackie, Ian, Series editor, Abramsky, Samson, Advisory board, Breitman, Karin, Advisory board, Hankin, Chris, Advisory board, Kozen, Dexter C., Advisory board, Pitts, Andrew, Advisory board, Riis Nielson, Hanne, Advisory board, Skiena, Steven S, Advisory board, Stewart, Iain, Advisory board, and Walkinshaw, Neil

Published
2017
Full Text
View/download PDF

22. Managing Requirements and Code

Author

Walkinshaw, Neil, Mackie, Ian, Series editor, Abramsky, Samson, Advisory board, Breitman, Karin, Advisory board, Hankin, Chris, Advisory board, Kozen, Dexter C., Advisory board, Pitts, Andrew, Advisory board, Riis Nielson, Hanne, Advisory board, Skiena, Steven S, Advisory board, Stewart, Iain, Advisory board, and Walkinshaw, Neil

Published
2017
Full Text
View/download PDF

23. Software Development Processes and Process Improvement

Author

Walkinshaw, Neil, Mackie, Ian, Series editor, Abramsky, Samson, Advisory board, Breitman, Karin, Advisory board, Hankin, Chris, Advisory board, Kozen, Dexter C., Advisory board, Pitts, Andrew, Advisory board, Riis Nielson, Hanne, Advisory board, Skiena, Steven S, Advisory board, Stewart, Iain, Advisory board, and Walkinshaw, Neil

Published
2017
Full Text
View/download PDF

24. What Is Software Quality, and Why Does it Matter?

Author

Walkinshaw, Neil, Mackie, Ian, Series editor, Abramsky, Samson, Advisory board, Breitman, Karin, Advisory board, Hankin, Chris, Advisory board, Kozen, Dexter C., Advisory board, Pitts, Andrew, Advisory board, Riis Nielson, Hanne, Advisory board, Skiena, Steven S, Advisory board, Stewart, Iain, Advisory board, and Walkinshaw, Neil

Published
2017
Full Text
View/download PDF

25. Introduction

Author

Walkinshaw, Neil, Mackie, Ian, Series editor, Abramsky, Samson, Advisory board, Breitman, Karin, Advisory board, Hankin, Chris, Advisory board, Kozen, Dexter C., Advisory board, Pitts, Andrew, Advisory board, Riis Nielson, Hanne, Advisory board, Skiena, Steven S, Advisory board, Stewart, Iain, Advisory board, and Walkinshaw, Neil

Published
2017
Full Text
View/download PDF

26. Comparison of Search-Based Algorithms for Stress-Testing Integrated Circuits

Author

Eljuse, Basil, Walkinshaw, Neil, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Colanzi, Thelma Elita, editor, and McMinn, Phil, editor

Published
2018
Full Text
View/download PDF

27. Testing Functional Black-Box Programs Without a Specification

Author

Walkinshaw, Neil, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Bennaceur, Amel, editor, Hähnle, Reiner, editor, and Meinke, Karl, editor

Published
2018
Full Text
View/download PDF

30. A Search Based Approach for Stress-Testing Integrated Circuits

Author

Eljuse, Basil, Walkinshaw, Neil, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Sarro, Federica, editor, and Deb, Kalyanmoy, editor

Published
2016
Full Text
View/download PDF

31. Testing Causality in Scientific Modelling Software.

Author

Clark, Andrew G., Foster, Michael, Prifling, Benedikt, Walkinshaw, Neil, Hierons, Robert M., Schmidt, Volker, and Turner, Robert D.

Subjects
COMPUTER software testing, SCIENTIFIC models, CAUSAL inference, VIRAL transmission, GALAXY formation, RESEARCH personnel
Abstract

From simulating galaxy formation to viral transmission in a pandemic, scientific models play a pivotal role in developing scientific theories and supporting government policy decisions that affect us all. Given these critical applications, a poor modelling assumption or bug could have far-reaching consequences. However, scientific models possess several properties that make them notoriously difficult to test, including a complex input space, long execution times, and non-determinism, rendering existing testing techniques impractical. In fields such as epidemiology, where researchers seek answers to challenging causal questions, a statistical methodology known as Causal inference has addressed similar problems, enabling the inference of causal conclusions from noisy, biased, and sparse data instead of costly experiments. This article introduces the causal testing framework: a framework that uses causal inference techniques to establish causal effects from existing data, enabling users to conduct software testing activities concerning the effect of a change, such as metamorphic testing, a posteriori. We present three case studies covering real-world scientific models, demonstrating how the causal testing framework can infer metamorphic test outcomes from reused, confounded test data to provide an efficient solution for testing scientific modelling software. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

34. Quantifying Uncertainty in Safety Cases Using Evidential Reasoning

Author

Nair, Sunil, Walkinshaw, Neil, Kelly, Tim, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bondavalli, Andrea, editor, Ceccarelli, Andrea, editor, and Ortmeier, Frank, editor

Published
2014
Full Text
View/download PDF

38. Model-Based Testing and Model Inference

Author

Meinke, Karl, Walkinshaw, Neil, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Margaria, Tiziana, editor

Published
2012
Full Text
View/download PDF

39. Assessing Test Adequacy for Black-Box Systems without Specifications

Author

Walkinshaw, Neil, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Wolff, Burkhart, editor, and Zaïdi, Fatiha, editor

Published
2011
Full Text
View/download PDF

40. Reliable counterparts

Author

Somers, Richard J., primary, Clark, Andrew G., additional, Walkinshaw, Neil, additional, and Hierons, Robert M., additional

Published
2022
Full Text
View/download PDF

41. Property-Based Testing - The ProTest Project

Author

Derrick, John, Walkinshaw, Neil, Arts, Thomas, Benac Earle, Clara, Cesarini, Francesco, Fredlund, Lars-Ake, Gulias, Victor, Hughes, John, Thompson, Simon, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Hallerstede, Stefan, editor, and Leuschel, Michael, editor

Published
2010
Full Text
View/download PDF

42. Incrementally Discovering Testable Specifications from Program Executions

Author

Walkinshaw, Neil, Derrick, John, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Hallerstede, Stefan, editor, and Leuschel, Michael, editor

Published
2010
Full Text
View/download PDF

43. Increasing Functional Coverage by Inductive Testing: A Case Study

Author

Walkinshaw, Neil, Bogdanov, Kirill, Derrick, John, Paris, Javier, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Petrenko, Alexandre, editor, Simão, Adenilso, editor, and Maldonado, José Carlos, editor

Published
2010
Full Text
View/download PDF

44. The Practical Assessment of Test Sets with Inductive Inference Techniques

Author

Walkinshaw, Neil, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bottaci, Leonardo, editor, and Fraser, Gordon, editor

Published
2010
Full Text
View/download PDF

45. Iterative Refinement of Reverse-Engineered Models by Model-Based Testing

Author

Walkinshaw, Neil, Derrick, John, Guo, Qiang, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cavalcanti, Ana, editor, and Dams, Dennis R., editor

Published
2009
Full Text
View/download PDF

46. Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs

Author

Guo, Qiang, Derrick, John, Walkinshaw, Neil, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Núñez, Manuel, editor, Baker, Paul, editor, and Merayo, Mercedes G., editor

Published
2009
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results