@article{DBLP:journals/ijertcs/FerrariMGFT11,
    author = "Ferrari, Alessio and Magnani, Gianluca and Grasso, Daniele and Fantechi, Alessandro and Tempestini, Matteo",
    title = "Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer",
    journal = "Int. J. Embed. Real Time Commun. Syst.",
    volume = "2",
    number = "2",
    pages = "42--61",
    year = "2011",
    url = "https://doi.org/10.4018/jertcs.2011040103",
    doi = "10.4018/JERTCS.2011040103",
    timestamp = "Sun, 06 Sep 2020 01:00:00 +0200",
    biburl = "https://dblp.org/rec/journals/ijertcs/FerrariMGFT11.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"EXmABjamdpuSnMoZu","bibbaseid":"ferrari-magnani-grasso-fantechi-tempestini-adoptionofmodelbasedtestingandabstractinterpretationbyarailwaysignallingmanufacturer-2011","author_short":["Ferrari, A.","Magnani, G.","Grasso, D.","Fantechi, A.","Tempestini, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Ferrari"],"firstnames":["Alessio"],"suffixes":[]},{"propositions":[],"lastnames":["Magnani"],"firstnames":["Gianluca"],"suffixes":[]},{"propositions":[],"lastnames":["Grasso"],"firstnames":["Daniele"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Tempestini"],"firstnames":["Matteo"],"suffixes":[]}],"title":"Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer","journal":"Int. J. Embed. Real Time Commun. Syst.","volume":"2","number":"2","pages":"42–61","year":"2011","url":"https://doi.org/10.4018/jertcs.2011040103","doi":"10.4018/JERTCS.2011040103","timestamp":"Sun, 06 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/ijertcs/FerrariMGFT11.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ijertcs/FerrariMGFT11,\n author = \"Ferrari, Alessio and Magnani, Gianluca and Grasso, Daniele and Fantechi, Alessandro and Tempestini, Matteo\",\n title = \"Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer\",\n journal = \"Int. J. Embed. Real Time Commun. Syst.\",\n volume = \"2\",\n number = \"2\",\n pages = \"42--61\",\n year = \"2011\",\n url = \"https://doi.org/10.4018/jertcs.2011040103\",\n doi = \"10.4018/JERTCS.2011040103\",\n timestamp = \"Sun, 06 Sep 2020 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/journals/ijertcs/FerrariMGFT11.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Ferrari, A.","Magnani, G.","Grasso, D.","Fantechi, A.","Tempestini, M."],"key":"DBLP:journals/ijertcs/FerrariMGFT11","id":"DBLP:journals/ijertcs/FerrariMGFT11","bibbaseid":"ferrari-magnani-grasso-fantechi-tempestini-adoptionofmodelbasedtestingandabstractinterpretationbyarailwaysignallingmanufacturer-2011","role":"author","urls":{"Paper":"https://doi.org/10.4018/jertcs.2011040103"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["adoption","model","based","testing","abstract","interpretation","railway","signalling","manufacturer","ferrari","magnani","grasso","fantechi","tempestini"],"title":"Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer","year":2011}