On the public citation graph

Testing aspect‐oriented programs with finite state machines

https://doi.org/10.1002/stvr.440
0 signed · 48 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/stvr.264openalex-snapshot
Generating test data from state‐based specifications
inferredcites →https://doi.org/10.1002/stvr.308openalex-snapshot
MuJava: an automated class mutation system
inferredcites →https://doi.org/10.1002/stvr.340openalex-snapshot
Integration testing of object‐oriented components using finite state machines
inferredcites →https://doi.org/10.1007/11526841_29openalex-snapshot
Verifying Scenario-Based Aspect Specifications
inferredcites →https://doi.org/10.1007/11687061_4openalex-snapshot
Aspect Categories and Classes of Temporal Properties
inferredcites →https://doi.org/10.1007/3-540-45429-2_12openalex-snapshot
Supporting Formal Verification of Crosscutting Concerns
inferredcites →https://doi.org/10.1007/3-540-48166-4_10openalex-snapshot
Using Model Checking to Generate Tests from Requirements Specifications
inferredcites →https://doi.org/10.1007/978-3-540-30182-0_91openalex-snapshot
Software Testing via Model Checking
inferredcites →https://doi.org/10.1007/978-3-540-45069-6_32openalex-snapshot
Model Checking Conformance with Scenario-Based Specifications
inferredcites →https://doi.org/10.1007/bfb0053381openalex-snapshot
Aspect-oriented programming
inferredcites →https://doi.org/10.1016/j.jss.2006.08.022openalex-snapshot
Control and data flow structural testing criteria for aspect-oriented programs
inferredcites →https://doi.org/10.1017/9781108974073.004openalex-snapshot
Introduction to Software Testing
inferredcites →https://doi.org/10.1017/cbo9780511809163openalex-snapshot
Introduction to Software Testing
inferredcites →https://doi.org/10.1109/apsec.1995.496972openalex-snapshot
Testing of object-oriented programs based on finite state machines
inferredcites →https://doi.org/10.1109/cmpsac.2003.1245340openalex-snapshot
Data-flow-based unit testing of aspect-oriented programs
inferredcites →https://doi.org/10.1109/compsac.2007.152openalex-snapshot
Model Checking Aspect-Oriented Design Specification
inferredcites →https://doi.org/10.1109/iccsa.2007.67openalex-snapshot
A Survey on Aspect-Oriented Testing Approaches
inferredcites →https://doi.org/10.1109/iccsa.2007.9openalex-snapshot
Constructing a Cluster-Based M-Learning Architecture in Mobile Ad Hoc Networks Using MPEG-21
inferredcites →https://doi.org/10.1109/icse.2007.50openalex-snapshot
Matching and Merging of Statecharts Specifications
inferredcites →https://doi.org/10.1109/icse.2007.72openalex-snapshot
Regression Test Selection for AspectJ Software
inferredcites →https://doi.org/10.1109/icst.2008.37openalex-snapshot
Mutation Testing for Aspect-Oriented Programs
inferredcites →https://doi.org/10.1109/icstw.2009.41openalex-snapshot
AjMutator: A Tool for the Mutation Analysis of AspectJ Pointcut Descriptors
inferredcites →https://doi.org/10.1109/issre.2008.12openalex-snapshot
A Joinpoint Coverage Measurement Tool for Evaluating the Effectiveness of Test Inputs for AspectJ Programs
inferredcites →https://doi.org/10.1109/tse.2004.79openalex-snapshot
Assessing and improving state-based class testing: a series of experiments
inferredcites →https://doi.org/10.1142/s0218194008003672openalex-snapshot
TESTING ASPECT-ORIENTED PROGRAMS WITH UML DESIGN MODELS
inferredcites →https://doi.org/10.1145/1029894.1029916openalex-snapshot
Verifying aspect advice modularly
inferredcites →https://doi.org/10.1145/1029894.1029917openalex-snapshot
A classification system and analysis for aspect-oriented programs
inferredcites →https://doi.org/10.1145/1119655.1119680openalex-snapshot
State-based incremental testing of aspect-oriented programs
inferredcites →https://doi.org/10.1145/1119655.1119681openalex-snapshot
A framework and tool supports for generating test inputs of AspectJ programs
inferredcites →https://doi.org/10.1145/1509239.1509264openalex-snapshot
Automated test data generation for aspect-oriented programs
inferredcites →https://doi.org/10.1145/242224.242420openalex-snapshot
Aspect-oriented programming
inferredcites →https://doi.org/10.1145/318774.318939openalex-snapshot
Using model checking to generate tests from requirements specifications
inferredcites →https://doi.org/10.1145/508386.508399openalex-snapshot
A UML-based aspect-oriented design notation for AspectJ
inferredcites →https://doi.org/10.1145/508386.508405openalex-snapshot
Aspect-oriented programming with model checking
inferredcites →https://doi.org/10.1145/602461.602506openalex-snapshot
An experience on verification of aspect properties
inferredcites →https://doi.org/10.12694/scpe.v3i4.209openalex-snapshot
Concurrency State Models and Java Programs
inferredcites →https://doi.org/10.5381/jot.2009.8.3.a4openalex-snapshot
Automated State-Based Unit Testing for Aspect-Oriented Programs: A Supporting Framework.
inferredcites →https://doi.org/10.5860/choice.46-5077openalex-snapshot
Foundations of software testing: fundamental algorithms and techniques

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-319-09156-3_30openalex-snapshot
A State-Based Testing Method for Detecting Aspect Composition Faults
inferred← citeshttps://doi.org/10.1007/s10111-016-0391-1openalex-snapshot
Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging
inferred← citeshttps://doi.org/10.1007/s10270-021-00924-8openalex-snapshot
Model-based test case generation and prioritization: a systematic literature review
inferred← citeshttps://doi.org/10.1016/bs.adcom.2018.03.015openalex-snapshot
Mutation Testing Advances: An Analysis and Survey
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.04.007openalex-snapshot
Using mutation to design tests for aspect-oriented models
inferred← citeshttps://doi.org/10.1109/mitp.2013.104openalex-snapshot
Test Generation Using Model Checking and Specification Mutation
inferred← citeshttps://doi.org/10.1145/2523088openalex-snapshot
A taxonomy for requirements engineering and software test alignment
inferred← citeshttps://doi.org/10.1145/3229783.3229793openalex-snapshot
Model-based Construction and Verification of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.11591/ijeecs.v12.i1.pp51-60openalex-snapshot
Comparative Analysis of Various Testing Techniques used for Aspect-Oriented Software System
inferred← citeshttps://doi.org/10.4304/jsw.8.6.1281-1300openalex-snapshot
Aspect-Oriented Program Testing: An Annotated Bibliography
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.