|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 16 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Adrian Gepp, Phil Stocks |
A review of procedures to evolve quantum algorithms.  |
Genetic Programming and Evolvable Machines  |
2009 |
DBLP DOI BibTeX RDF |
Evolving quantum algorithms, Genetic algorithms, Evolutionary algorithms, Genetic programming, Quantum computing, Quantum algorithms |
| 1 | James Larkin, Phil Stocks |
Self-Replicating Expressions in the Lambda Calculus. |
ACSC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Altucher |
A schema for interprocedural modification side-effect analysis with pointer aliasing. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang |
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. |
ISSTA |
1998 |
DBLP DOI BibTeX RDF |
interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity |
| 1 | Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks |
Incremental Analysis of Side Effects for C Software System. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
C, dataflow analysis, incremental analysis |
| 1 | Phil Stocks, David A. Carrington |
A Framework for Specification-Based Testing. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
Specification-based testing, testing strategies, test oracles, Z notation, test data |
| 1 | David A. Carrington, Phil Stocks |
A Tale of Two Paradigms: Formal Methods and Software Testing. |
Z User Workshop |
1994 |
DBLP BibTeX RDF |
|
| 1 | Phil Stocks, David A. Carrington |
Test Template Framework: A Specification-Based Testing Case Study. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil Stocks, David A. Carrington |
Test Templates: A Specification-Based Testing Framework. |
ICSE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister |
Modelling open distributed systems in Z. |
Computer Communications |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")