Due to the increasing complexity of web systems, security testing has become indispensable and critical activity of web application development life cycle. Security testing aims to maintain the confidentiality of the data, to check against any information leakage and to maintain the functionality as intended. It checks whether the security requirements are fulfilled by the web applications when...

We review different flavors of symbolic execution, ranging from generalized symbolic execution to dynamic symbolic execution or concolic testing. We also identify challenges to symbolic execution, such as dealing with: looping constructs, multi-threading, recursive data structures, and complex mathematical constraints, as well as scalability challenges due to the path explosion problem. We disc...

Quantitative conformance testing of cyber-physical system (CPS) exploits time series of measurements, such as temperature or energy, for validating the correctness of deployed systems. This paper presents the foundations of segmented state space traversal in the setting of quantitative conformance testing of a CPS. It is demonstrated how this strategy together with domain-specific adaptations r...

ABSTRACT I analyse some properties of the luminous transient event SN 2019zrk and conclude that jets were main powering sources pre-explosion outburst (pre-cursor) ejection a massive circumstellar matter (CSM), very energetic explosion itself, post-explosion bump in light curve. The energy source is mainly companion (main sequence, Wolf–Rayet, neutron star, or black hole) star accreted mass lau...

The use of flammable substances in the industry means that installations process them generate explosion hazard zones proximal space. Equipment installed and operated such hazardous areas must not ignite an explosive atmosphere. Confirmation how equipment is adapted for atmosphere named protection. Explosion protection confirmed by testing together with evaluation. For low-current equipment, si...

In research studies, a student starts with writing a research proposal, followed up by intensive literature and industrial survey in his/her own research area. The student must perform his/her own research with validation under supervisor’s guidance. The student’s own research work must be differentiated from others work in order to demonstrate the unique originality and significance of the stu...

With the increasing complexity of control rooms and the information explosion, effective multitasking is now desired. Monochronicity and polychronicity, which describe a person's ability to do one thing and many things at a time, respectively, have been studied for a long time. However, it is not clear these abilities are related to various individual characteristics. Forty-eight Chinese partic...

Looking back over the last three decades of Roman archaeology I find it difficult not to be impressed by the huge advances the discipline had made. The quantity of information collected has increased enormously. Romanists have enthusiastically embraced new archaeological technologies, and entire new subject areas landscape archaeology, palaeopathology, and underwater archaeology for instance ha...

The analysis and generalization of the results studies high-voltage electrochemical explosions (HVECHE) proceeding under various conditions, driven by special aspects needs existing HVECHE based pulse-discharge technologies, was carried out. A methodology to calculate combined energy sources is proposed in relation discharge-pulse technologies using a explosion. Based on experimental studies, a...