Assia Touil

According to our database1, Assia Touil authored at least 5 papers between 2005 and 2010.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Testing of Abstract Components.
Proceedings of the Theoretical Aspects of Computing, 2010

2008
Test Purpose Concretization through Symbolic Action Refinement.
Proceedings of the Testing of Software and Communicating Systems, 2008

2007
Symbolic Execution Techniques for Refinement Testing.
Proceedings of the Tests and Proofs - 1st International Conference, 2007

2006
Symbolic Execution Techniques for Test Purpose Definition.
Proceedings of the Testing of Communicating Systems, 2006

2005
A Temporal Logic for Input Output Symbolic Transition Systems.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005


  Loading...