178 research outputs found
SMRL: A Metamorphic Security Testing Tool for Web Systems
We present a metamorphic testing tool that alleviates the oracle problem in security testing. The tool enables engineers to specify metamorphic relations that capture security properties of Web systems. It automatically tests Web systems to detect vulnerabilities based on those relations. We provide a domain-specific language accompanied by an Eclipse editor to facilitate the specification of metamorphic relations. The tool automatically collects the input data and transforms the metamorphic relations into executable Java code in order to automatically perform security testing based on the collected data. The tool has been successfully evaluated on a commercial system and a leading open source system (Jenkins). Demo video: https://youtu.be/9kx6u9LsGxs
Multiscale theory of nonlinear wavepacket propagation in a planar optical waveguide
In this paper, the multiscale expansion formalism is applied for the first time, to our knowledge, in nonlinear planar optical waveguides. This formalism permits us to describe the linear and nonlinear propagation for both transverse electric and transverse magnetic modes. The modal field distributions and the nonlinear coefficient in the nonlinear Schrödinger equation are highlighted
Polarization switching in a planar optical waveguide
The multiscale expansion formalism is applied to the study of nonlinear planar optical waveguides. It allows us to describe the linear and nonlinear propagation for both transverse electric and transverse magnetic modes, and the interaction between them. An accurate computation of the nonlinear self- and cross-phase modulation coefficients allows one to give account of the polarization switching which has been observed experimentally
- …