On the public citation graph

Using mutation to design tests for aspect-oriented models

https://doi.org/10.1016/j.infsof.2016.04.007

0 signed · 71 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/spe.4380210704openalex-snapshot

A fortran language system for mutation‐based software testing

inferredcites →https://doi.org/10.1002/stvr.308openalex-snapshot

MuJava: an automated class mutation system

inferredcites →https://doi.org/10.1002/stvr.440openalex-snapshot

Testing aspect‐oriented programs with finite state machines

inferredcites →https://doi.org/10.1007/11554578openalex-snapshot

Foundations of Security Analysis and Design III: FOSAD 2004/2005 tutorial lectures

inferredcites →https://doi.org/10.1007/11554578_2openalex-snapshot

Model-Based Security Engineering with UML

inferredcites →https://doi.org/10.1007/11687061openalex-snapshot

Transactions on Aspect-Oriented Software Development I

inferredcites →https://doi.org/10.1007/11687061_3openalex-snapshot

Directives for Composing Aspect-Oriented Design Class Models

inferredcites →https://doi.org/10.1007/978-0-387-34945-9_24openalex-snapshot

Mutation testing applied to validate specifications based on Petri Nets

inferredcites →https://doi.org/10.1007/978-3-540-24617-6_9openalex-snapshot

Time-Optimal Real-Time Test Case Generation Using Uppaal

inferredcites →https://doi.org/10.1007/978-3-540-24704-3_9openalex-snapshot

Generation of Optimized Testsuites for UML Statecharts with Time

inferredcites →https://doi.org/10.1007/978-3-540-27755-2_3openalex-snapshot

Timed Automata: Semantics, Algorithms and Tools

inferredcites →https://doi.org/10.1007/978-3-540-69073-3_3openalex-snapshot

MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation

inferredcites →https://doi.org/10.1007/978-3-540-69489-2_1openalex-snapshot

9th International Workshop on Aspect-Oriented Modeling

inferredcites →https://doi.org/10.1007/978-3-540-73196-2_4openalex-snapshot

Specification of Timed EFSM Fault Models in SDL

inferredcites →https://doi.org/10.1007/978-3-540-78917-8openalex-snapshot

Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers

inferredcites →https://doi.org/10.1007/978-3-642-01648-6openalex-snapshot

Models in Software Engineering

inferredcites →https://doi.org/10.1007/978-3-642-16129-2openalex-snapshot

Model Driven Engineering Languages and Systems

inferredcites →https://doi.org/10.1007/b136676openalex-snapshot

Testing of Communicating Systems

inferredcites →https://doi.org/10.1007/s10009-002-0094-1openalex-snapshot

Automated test generation from timed automata

inferredcites →https://doi.org/10.1007/s100090050010openalex-snapshot

Uppaal in a nutshell

inferredcites →https://doi.org/10.1007/s10270-011-0206-zopenalex-snapshot

Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems

inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot

Statecharts: a visual formalism for complex systems

inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot

A theory of timed automata

inferredcites →https://doi.org/10.1016/0378-4754(82)90066-0openalex-snapshot

Petri Net theory and the modeling of systems

inferredcites →https://doi.org/10.1016/j.infsof.2007.08.007openalex-snapshot

Integrating aspects in software architectures: PRISMA applied to robotic tele-operated systems

inferredcites →https://doi.org/10.1016/j.infsof.2011.12.001openalex-snapshot

On generating mutants for AspectJ programs

inferredcites →https://doi.org/10.1016/j.jss.2009.06.030openalex-snapshot

Mutation testing from probabilistic and stochastic finite state machines

inferredcites →https://doi.org/10.1016/s0304-3975(99)00134-6openalex-snapshot

Testing timed automata

inferredcites →https://doi.org/10.1017/9781108974073.004openalex-snapshot

Introduction to Software Testing

inferredcites →https://doi.org/10.1023/a:1008978021407openalex-snapshot

Mutation Testing Applied to Estelle Specifications

inferredcites →https://doi.org/10.1109/32.92910openalex-snapshot

Constraint-based automatic test data generation

inferredcites →https://doi.org/10.1109/c-m.1978.218136openalex-snapshot

Hints on Test Data Selection: Help for the Practicing Programmer

inferredcites →https://doi.org/10.1109/cmpsac.2004.1342848openalex-snapshot

Mutation-based testing criteria for timeliness

inferredcites →https://doi.org/10.1109/hicss.2000.926582openalex-snapshot

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences

inferredcites →https://doi.org/10.1109/hicss.2000.926973openalex-snapshot

Mutation testing applied to Estelle specifications

inferredcites →https://doi.org/10.1109/icst.2008.37openalex-snapshot

Mutation Testing for Aspect-Oriented Programs

inferredcites →https://doi.org/10.1109/icst.2009.41openalex-snapshot

A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ

inferredcites →https://doi.org/10.1109/icst.2015.7102589openalex-snapshot

Generating Complex and Faulty Test Data through Model-Based Mutation Analysis

inferredcites →https://doi.org/10.1109/icst.2015.7102627openalex-snapshot

MoMut::UML Model-Based Mutation Testing for UML

inferredcites →https://doi.org/10.1109/icstw.2015.7107456openalex-snapshot

Mutating aspect-oriented models to test cross-cutting concerns

inferredcites →https://doi.org/10.1109/isecs.2009.158openalex-snapshot

Mutation Analysis for Testing Finite State Machines

inferredcites →https://doi.org/10.1109/issre.1994.341378openalex-snapshot

Mutation analysis testing for finite state machines

inferredcites →https://doi.org/10.1109/issre.2000.885855openalex-snapshot

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000

inferredcites →https://doi.org/10.1109/issre.2002.1173287openalex-snapshot

Inter-class mutation operators for Java

inferredcites →https://doi.org/10.1109/issre.2006.6openalex-snapshot

A Candidate Fault Model for AspectJ Pointcuts

inferredcites →https://doi.org/10.1109/mutation.2006.3openalex-snapshot

Efficient Mutant Generation for Mutation Testing of Pointcuts in Aspect-Oriented Programs

inferredcites →https://doi.org/10.1109/taic.part.2007.23openalex-snapshot

New Mutations for Evaluation of Specification and Implementation Levels of Adequacy in Testing of Statecharts Models

inferredcites →https://doi.org/10.1142/s0218194008003672openalex-snapshot

TESTING ASPECT-ORIENTED PROGRAMS WITH UML DESIGN MODELS

inferredcites →https://doi.org/10.1145/1146374openalex-snapshot

Proceedings of the 2nd workshop on Testing aspect-oriented programs

inferredcites →https://doi.org/10.1145/1146374.1146380openalex-snapshot

Testing aspect-oriented programming Pointcut Descriptors

inferredcites →https://doi.org/10.1145/1229375.1229377openalex-snapshot

Stateful aspects

inferredcites →https://doi.org/10.1145/1923947.1923962openalex-snapshot

Aspect weaver

inferredcites →https://doi.org/10.4236/jsea.2010.34036openalex-snapshot

Separation of Fault Tolerance and Non-Functional Concerns: Aspect Oriented Patterns and Evaluation

inferredcites →https://doi.org/10.5381/jot.2007.6.7.a3openalex-snapshot

Motorola WEAVR: Aspect and model-Driven Engineering.

inferredcites →https://doi.org/10.5381/jot.2007.6.7.a5openalex-snapshot

Designing and Weaving Aspect-Oriented Executable UML Models.

inferredcites →https://doi.org/10.5555/2050655.2050668openalex-snapshot

An industrial application of robustness testing using aspect-oriented modeling, UML/MARTE, and Search algorithms

inferredcites →https://doi.org/10.5555/800253.807722openalex-snapshot

A software reliability assessment based on a structural and behavioral analysis of programs

inferredcites →https://doi.org/10.5555/954014.954046openalex-snapshot

Automated-generating test case using UML statechart diagrams

inferredcites →https://doi.org/10.5860/choice.45-6834openalex-snapshot

Introduction to software testing

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/stvr.1667openalex-snapshot

On strong mutation and the theory of subsuming logic‐based mutants

inferred← citeshttps://doi.org/10.1007/978-3-319-62407-5_7openalex-snapshot

A Model-Based Testing Method for Dynamic Aspect-Oriented Software

inferred← citeshttps://doi.org/10.1007/s10664-025-10613-5openalex-snapshot

A fine-grained evaluation of mutation operators to boost mutation testing for deep learning systems

inferred← citeshttps://doi.org/10.1016/j.infsof.2020.106413openalex-snapshot

Boundary sampling to boost mutation testing for deep learning models

inferred← citeshttps://doi.org/10.1016/j.infsof.2022.106954openalex-snapshot

How higher order mutant testing performs for deep learning models: A fine-grained evaluation of test effectiveness and efficiency improved from second-order mutant-classification tuples

inferred← citeshttps://doi.org/10.1109/ceet1.2019.8711837openalex-snapshot

An Approach for Mapping the Aspect State Models to Aspect-Oriented Code

inferred← citeshttps://doi.org/10.1109/confluence.2017.7943261openalex-snapshot

Aspect oriented software testing

inferred← citeshttps://doi.org/10.1109/icbim57406.2022.00035openalex-snapshot

Design Adaptability and Flexibility of Information Management System Framework for Graduate School Services

inferred← citeshttps://doi.org/10.1109/icstw.2018.00030openalex-snapshot

Identifying Useful Mutants to Test Time Properties

inferred← citeshttps://doi.org/10.1109/kbei.2017.8324934openalex-snapshot

State-based models in model-based testing: A systematic review

inferred← citeshttps://doi.org/10.1186/s13635-026-00226-wopenalex-snapshot

Mutation based improvement of security test case quality for broken access control

inferred← citeshttps://doi.org/10.3390/designs4010005openalex-snapshot

Model Testing of Complex Embedded Systems Using EAST-ADL and Energy-Aware Mutations

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.