Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis.
ACM Trans. Softw. Eng. Methodol., 2015
Beyond the rainbow: self-adaptive failure avoidance in configurable systems.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Failure Avoidance in Configurable Systems through Feature Locality.
Proceedings of the Assurances for Self-Adaptive Systems, 2013
Evaluating improvements to a meta-heuristic search for constrained interaction testing.
Empir. Softw. Eng., 2011
Using feature locality: can we leverage history to avoid failures during reconfiguration?
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, 2011
Feature Interaction Faults Revisited: An Exploratory Study.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011
A Slice-Based Decision Procedure for Type-Based Partial Orders.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010