How to roll a join: asynchronous incremental view maintenance
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
IEEE Transactions on Software Engineering
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Search Algorithms for Regression Test Case Prioritization
IEEE Transactions on Software Engineering
Kodkod: a relational model finder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Incremental Test Generation for Software Product Lines
IEEE Transactions on Software Engineering
Pure delta-oriented programming
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Software product line testing - A systematic mapping study
Information and Software Technology
Delta-oriented programming of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Compositional type-checking for delta-oriented programming
Proceedings of the tenth international conference on Aspect-oriented software development
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
A survey on software product line testing
Proceedings of the 16th International Software Product Line Conference - Volume 1
A transformational proof system for delta-oriented programming
Proceedings of the 16th International Software Product Line Conference - Volume 2
Incremental model-based testing of delta-oriented software product lines
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
A liskov principle for delta-oriented programming
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
| Hi-index | 0.00 |
We present an approach for specifying and testing delta-oriented software product lines (SPLs) of Java programs. To this end we extend FineFit---a tool and an approach for refinement-based testing of single products. The input to FineFit consists of an abstract model (i.e., the specification of the program) given as a set of tables, and a retrieve function which maps concrete states (of the program under test) to abstract states (of the model). To leverage FineFit for testing of SPLs we propose the concept of delta tables for specifying SPLs, and we use DeltaJ, a delta-oriented programming language, for implementing the retrieve functions of the various software products. Our preliminary investigations suggest that the new ideas can significantly reduce the amount of input, repetition, and mistakes done by the user.