FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing

Software and Systems Modeling - Germany
doi 10.1007/s10270-015-0503-z
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Automated Framework for Formal Operator Task Analysis

2011English

Analysis of Tools for Automated Software Testing

Computer Science and Cybersecurity
2019English

Formal Framework for Automated Analysis and Verification of Web-Based Applications

English

A Software Framework for the Automated Production of Schematic Maps

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

SAFFRON: A Semi-Automated Framework for Software Requirements Prioritization

International Journal of Advanced Computer Science and Applications
Computer Science
2017English

Automated Scalability Testing of Software as a Service

2013English

Towards Statistical Prioritization for Software Product Lines Testing

2013English

Orchestration Framework for Automated Ajax-Based Web Application Testing

2015English

Specdata: Automated Analysis Software for Broadband Spectra

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy