Testing with Inputs and Outputs in CSP

Ana Lucia Caneca Cavalcanti; Rob Hierons

doi:10.1007/978-3-642-37057-1_26

Testing with Inputs and Outputs in CSP

Ana Lucia Caneca Cavalcanti, Rob Hierons

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013
Pages	359-374
Volume	7793 LNCS
DOIs	https://doi.org/10.1007/978-3-642-37057-1_26
Publication status	Published - 2013
Event	16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 - Rome, Italy Duration: 16 Mar 2013 → 24 Mar 2013

Conference

Conference	16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013
Country/Territory	Italy
City	Rome
Period	16/03/13 → 24/03/13

Access to Document

10.1007/978-3-642-37057-1_26

Cite this

@inproceedings{502830d4337e45c9850aa32a1566fd1f,

title = "Testing with Inputs and Outputs in CSP",

author = "Cavalcanti, {Ana Lucia Caneca} and Rob Hierons",

year = "2013",

doi = "10.1007/978-3-642-37057-1_26",

language = "English",

volume = "7793 LNCS",

pages = "359--374",

booktitle = "16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013",

note = "16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 ; Conference date: 16-03-2013 Through 24-03-2013",

}

Cavalcanti, ALC & Hierons, R 2013, Testing with Inputs and Outputs in CSP. in 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013. vol. 7793 LNCS, pp. 359-374, 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, 16/03/13. https://doi.org/10.1007/978-3-642-37057-1_26

TY - GEN

T1 - Testing with Inputs and Outputs in CSP

AU - Cavalcanti, Ana Lucia Caneca

AU - Hierons, Rob

PY - 2013

Y1 - 2013

UR - http://www.scopus.com/inward/record.url?scp=84874395031&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-37057-1_26

DO - 10.1007/978-3-642-37057-1_26

M3 - Conference contribution

VL - 7793 LNCS

SP - 359

EP - 374

BT - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013

T2 - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013

Y2 - 16 March 2013 through 24 March 2013

ER -

Testing with Inputs and Outputs in CSP

Conference

Access to Document

Other files and links

Wolfson Research Merit Award - Ana Cavalcanti

ProCLaws: Programming from Control Laws

Cite this

Testing with Inputs and Outputs in CSP

Conference

Access to Document

Other files and links

Projects

Wolfson Research Merit Award - Ana Cavalcanti

ProCLaws: Programming from Control Laws

Cite this