𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Communications in Computer and Information Science] Software and Data Technologies Volume 170 || FocalTest: A Constraint Programming Approach for Property-Based Testing

✍ Scribed by Cordeiro, José; Virvou, Maria; Shishkov, Boris

Book ID
120427972
Publisher
Springer Berlin Heidelberg
Year
2013
Tongue
English
Weight
262 KB
Edition
2
Category
Article
ISBN
3642295789

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Software and Data Technologies, ICSOFT 2010, held in Athens, Greece, in July 2010. The 30 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from a total of 410 submissions in two rounds of reviewing and improvement. The papers cover a wide range of topics and are organized in four general topical sections on healthinf, biodevices, biosignals, and bioinformatics.

📜 SIMILAR VOLUMES

[Communications in Computer and Informat
[Communications in Computer and Information Science] Software and Data Technologies Volume 170 || Systematic Review on Software Product Line Testing
✍ Cordeiro, José; Virvou, Maria; Shishkov, Boris 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 476 KB

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Software and Data Technologies, ICSOFT 2010, held in Athens, Greece, in July 2010. The 30 revised full papers presented together with 1 invited lecture were carefully reviewed and selecte

[Communications in Computer and Informat
[Communications in Computer and Information Science] Software and Data Technologies Volume 170 || Fine Grained Access Control for Relational Databases by Abstract Interpretation
✍ Cordeiro, José; Virvou, Maria; Shishkov, Boris 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 366 KB

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Software and Data Technologies, ICSOFT 2010, held in Athens, Greece, in July 2010. The 30 revised full papers presented together with 1 invited lecture were carefully reviewed and selecte

[Communications in Computer and Informat
[Communications in Computer and Information Science] Information and Software Technologies Volume 319 || FSM Based Functional Test Generation Framework for VHDL
✍ Skersys, Tomas; Butleris, Rimantas; Butkiene, Rita 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 205 KB

This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers are organi

[Communications in Computer and Informat
[Communications in Computer and Information Science] Software and Data Technologies Volume 22 || An Ontological Investigation in the Field of Computer Programs
✍ Filipe, Joaquim; Shishkov, Boris; Helfert, Markus; Maciaszek, Leszek A. 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 239 KB

This book contains the best papers of the Second International Conference on So- ware and Data Technologies (ICSOFT 2007), held in Barcelona, Spain. It was org- ized by the Institute for Systems and Technologies of Information, Communication and Control (INSTICC), co-sponsored by the Workflow Manage