|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paulo Borba, Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 (eds.) |
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures  |
PSSE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John D. McGregor |
Testing a Software Product Line. |
PSSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrícia D. L. Machado, Augusto Sampaio |
Automatic Test-Case Generation. |
PSSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Hennell |
Software Tool Issues. |
PSSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrícia D. L. Machado, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado |
Software Testing: An Overview. |
PSSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
Parameterized Unit Testing with Pex: Tutorial. |
PSSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Auri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro, Erika Nina Höhn, José Carlos Maldonado |
Functional, Control and Data Flow, and Mutation Testing: Theory and Practice. |
PSSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig |
A Systematic Introduction to Mutation Testing in Unifying Theories of Programming. |
PSSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Software Testing Based on Formal Specification. |
PSSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 (eds.) |
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures |
PSSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
Refinement: An overview. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle McIver, Carroll Morgan |
Developing and Reasoning About Probabilistic Programs in pGCL. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies |
Using CSP. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu 0001, Mathai Joseph |
Real-Time and Fault-Tolerant Systems. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Déharbe |
Techniques for Temporal Logic Model Checking. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil Clayton, Colin O'Halloran |
Using the Compliance Notation in Industry. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Sampaio, Paulo Borba |
Transformation Laws for Sequential Object-Oriented Programming. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, Jim Woodcock 0001 |
A Tutorial Introduction to CSP in Unifying Theories of Programming. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license