Pramila Mouttappa

According to our database, Pramila Mouttappa authored at least 4 papers between 2012 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

A symbolic-based passive testing approach to detect vulnerabilities in networking systems. ([Une approche symbolique basée sur des tests passifs pour détecter les vulnérabilités des systèmes réseaux]).

Pramila Mouttappa

PhD thesis, 2013

Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols.

Pramila Mouttappa, Stephane Maag, Ana R. Cavalli

Comput. Networks, 2013

Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study.

Pramila Mouttappa, Stephane Maag, Ana R. Cavalli

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

An IOSTS Based Passive Testing Approach for the Validation of Data-Centric Protocols.

Pramila Mouttappa, Stéphane Maag, Ana R. Cavalli

Proceedings of the 2012 12th International Conference on Quality Software, 2012