|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca |
Using Testing Techniques for Vulnerability Detection in C Programs.  |
ICTSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerardo Morales, Stéphane Maag, Ana R. Cavalli, Wissam Mallouli, Edgardo Montes de Oca, Bachar Wehbi |
Timed Extended Invariants for the Passive Testing of Web Services. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
BPEL, Passive Testing |
| 1 | Felipe Lalanne, Stéphane Maag, Edgardo Montes de Oca, Ana R. Cavalli, Wissam Mallouli, Arnaud Gonguet |
An Automated Passive Testing Approach for the IMS PoC Service. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Testing, Formal model, IMS |
| 1 | Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca |
A passive conformance testing approach for a MANET routing protocol. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
MANET, routing protocols, conformance testing |
| 1 | Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca, Fatiha Zaïdi |
A Formal Passive Testing Approach to test a MANET Routing Protocol. |
PerCom Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli, Mounir Lallali |
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. |
DS-RT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez |
TestNet: Let's Test Together!. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")