Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

DamianiGladishTyszberowicz:PPPJ-2013 (In proceedings)
Author(s) Ferruccio Damiani, Christoph Gladisch and Shmuel Tyszberowicz
Title« Refinement-based Testing of Delta-oriented Product Lines »
InProceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
SeriesPPPJ '13
Page(s)135--140
Year2013
PublisherACM
AddressNew York, NY, USA
ISBN number978-1-4503-2111-2
URLhttp://doi.acm.org/10.1145/2500828.2500841
Keywords
Keywords: Java, alloy, delta-oriented programming, model-based testing, parnas table, refinement, software product line

BibTeX code

@inproceedings{DamianiGladishTyszberowicz:PPPJ-2013,
  location = {Stuttgart, Germany},
  author = {Damiani, Ferruccio and Gladisch, Christoph and Tyszberowicz,
            Shmuel},
  series = {PPPJ '13},
  keywords = {Java, alloy, delta-oriented programming, model-based testing,
              parnas table, refinement, software product line},
  numpages = {6},
  acmid = {2500841},
  booktitle = {Proceedings of the 2013 International Conference on Principles
               and Practices of Programming on the Java Platform: Virtual
               Machines, Languages, and Tools},
  url = {http://doi.acm.org/10.1145/2500828.2500841},
  address = {New York, NY, USA},
  title = {Refinement-based Testing of Delta-oriented Product Lines},
  isbn = {978-1-4503-2111-2},
  publisher = {ACM},
  doi = {10.1145/2500828.2500841},
  year = {2013},
  pages = {135--140},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!