A-TEST 2020: Proceedings of the 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation
Full Citation in the ACM Digital LibrarySESSION: Keynotes
SafeDNN: understanding and verifying neural networks (keynote)
The SafeDNN project at NASA Ames explores new techniques and tools to ensure that systems that use Deep Neural Networks (DNN) are safe, robust and interpretable. Research directions we are pursuing in this project include: symbolic execution for DNN analysis, label-guided clustering to automatically identify input regions that are robust, parallel and compositional approaches to improve formal SMT-based verification, property inference and automated program repair for DNNs, adversarial training and detection, probabilistic reasoning for DNNs. In this talk I will highlight some of the research advances from SafeDNN.
A-TEST 2021: Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation
Full Citation in the ACM Digital LibrarySESSION: Automated Testing
Using an agent-based approach for robust automated testing of computer games
Modern computer games typically have a huge interaction spaces and non-deterministic environments. Automation in testing can provide a vital boost in development and it further improves the overall software's reliability and efficiency. Moreover, layout and game logic may regularly change during development or consecutive releases which makes it difficult to test because the usage of the system continuously changes. To deal with the latter, tests also need to be robust. Unfortunately, existing game testing approaches are not capable of maintaining test robustness. To address these challenges, this paper presents an agent-based approach for robust automated testing based on the reasoning type of AI.
BIGDSE '16- Proceedings of the 2nd International Workshop on BIG Data Software Engineering
Full Citation in the ACM Digital LibrarySESSION: Real-time data analytics
Decisions as a service for application centric real time analytics
Streaming software analytics
SESSION: Data management
DataLab: a version data management and analytics system
Exploring a framework for identity and attribute linking across heterogeneous data systems
Providing big data applications with fault-tolerant data migration across heterogeneous NoSQL databases
Data model evolution using object-NoSQL mappers: folklore or state-of-the-art?
SESSION: Engineering data-intensive systems
Towards a model-driven design tool for big data architectures
Toward big data value engineering for innovation
SESSION: Applications and industry
A reference architecture for big data systems in the national security domain
A big data framework for cloud monitoring
The "BigSE" project: lessons learned from validating industrial text mining
Predicting and fixing vulnerabilities before they occur: a big data approach
SESSION: Engineering data-intensive systems
Understanding quality requirements in the context of big data systems
BRIDGE '16- Proceedings of the 1st International Workshop on Bringing Architectural Design Thinking into Developers' Daily Activities
Full Citation in the ACM Digital LibraryCBSE '14- Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering
Full Citation in the ACM Digital LibrarySESSION: Keynote address
Principles and methods for elastic computing
SESSION: Adaptive component-based systems
Modular coordination of multiple autonomic managers
A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language
Towards a meta-model for dynamic applications
Runtime modularity in complex structures: a component model for fine grained runtime adaptation
SESSION: Software architecture and testing
Injecting quality attributes into software architectures with the common variability language
Enriching software architecture models with statistical models for performance prediction in modern storage environments
Enabling collaborative testing across shared software components
SESSION: Runtime reconfiguration
Using a model to generate reconfiguration plans at runtime
AO-OpenCom: an AO-middleware architecture supporting flexible dynamic reconfiguration
Coqcots & pycots: non-stopping components for safe dynamic reconfiguration
Strengthening architectures of smart CPS by modeling them as runtime product-lines
SESSION: Analysis and monitoring
A new approach to detect potential race conditions in component-based systems
Memory monitoring in a multi-tenant OSGi execution environment
A memory isolation method for OSGi-based home gateways
Execution cost estimation for software deployment in component-based embedded systems
SESSION: Connecting components
Design-by-contract for reusable components and realizable architectures
A specification schema for software connectors
Ensuring application integrity in shared sensing environments
SESSION: Formal approaches to CBSE
Quantifying the parallelism in BPMN processes using model checking
Architecture internalisation in BIP
Robust reconfiguration of cloud applications
TUTORIAL SESSION: Tutorials
Software component models: past, present and future
Rigorous component-based design in BIP: half-day tutorial
Development of smart cyber-physical systems
CESI 2014- Proceedings of the 2nd International Workshop on Conducting Empirical Studies in Industry
Full Citation in the ACM Digital LibraryA career spent wading through industry's empirical ooze (invited talk)
Is the glass half empty or half full? conducting empirical studies in industry (invited talk)
Exploring web advertising to attract industry professionals for software engineering surveys
Lessons learned on applying design science for bridging the collaboration gap between industry and academia in empirical software engineering
Practical experiences in designing and conducting empirical studies in industry-academia collaboration
Empirical evaluation of software testing techniques in an open source fashion
Topic selection in industry experiments
On the relationship between quality assurance and productivity in software companies
An exploratory study on improving automotive function specifications
CESI '16- Proceedings of the 4th International Workshop on Conducting Empirical Studies in Industry
Full Citation in the ACM Digital Library