| 1. |
- Lindström, Birgitta, et al.
(författare)
-
Using mutation to design tests for aspect-oriented models
- 2017
-
Ingår i: Information and Software Technology. - : Elsevier BV. - 0950-5849 .- 1873-6025. ; 81, s. 112-130
-
Tidskriftsartikel (refereegranskat)abstract
- Context: Testing for properties such as robustness or security is complicated because their concerns are often repeated in many locations and muddled with the normal code. Such “cross-cutting concerns” include things like interrupt events, exception handling, and security protocols. Aspect-oriented (AO) modeling allows developers to model the cross-cutting behavior independently of the normal behavior, thus supporting model-based testing of cross-cutting concerns. However, mutation operators defined for AO programs (source code) are usually not applicable to AO models (AOMs) and operators defined for models do not target the AO features. Objective: We present a method to design abstract tests at the aspect-oriented model level. We define mutation operators for aspect-oriented models and evaluate the generated mutants for an example system. Method: AOMs are mutated with novel operators that specifically target the AO modeling features. Test traces killing these mutant models are then generated. The generated and selected traces are abstract tests that can be transformed to concrete black-box tests and run on the implementation level, to evaluate the behavior of the woven cross-cutting concerns (combined aspect and base models). Results: This paper is a significant extension of our paper at Mutation 2015. We present a complete fault model, additional mutation operators, and a thorough analysis of the mutants generated for an example system. Conclusions: The analysis shows that some mutants are stillborn (syntactically illegal) but none is equivalent (exhibiting the same behavior as the original model). Additionally, our AOM-specific mutation operators can be combined with pre-existing operators to mutate code or models without any overlap.
|
|
| 2. |
- Zhu, Bin, et al.
(författare)
-
Innovative solid carbonate-ceria composite electrolyte fuel cells
- 2001
-
Ingår i: Electrochemistry communications. - 1388-2481 .- 1873-1902. ; 3:10, s. 566-571
-
Tidskriftsartikel (refereegranskat)abstract
- An innovative solid carbonate-oxide composite and related fuel cell (FC) technology is reported, It was discovered that solid carbonate-ceria composite (SCC) electrolytes were highly conductive with the material conductivity level varying from 0.001 to 0.2 S cm(-1) between 400 and 600 degreesC, and related FCs reached a power density between 200 and 600 mW cm(2) at a Current density of 300-1200 mA cm(-2) in the same temperature region. The SCCs were discovered to possess both oxide-ion (originating from the ceria phase) and proton (from the carbonate phase) conduction. Being an all-solid ceramic FC. the SCC can effectively reduce the material corrosion problem that is serious for the molten carbonate fuel cells (MCFCs). On the other hand, the innovative FC technology based on the SCC electrolytes developed in this work is similar to solid oxide fuel cells (SOF'Cs) and different from the MCFCs based on their ionic transport and FC processes, which facilitates a development of new type of advanced FC technology.
|
|
| 3. |
- Zhu, Bin, et al.
(författare)
-
LiF-CaH2 alumina electrolytes for intermediate temperature fuel cell applications
- 2000
-
Ingår i: Electrochemistry communications. - 1388-2481 .- 1873-1902. ; 2:1, s. 10-14
-
Tidskriftsartikel (refereegranskat)abstract
- Hydrofluoride-based electrolytes with proton conduction have been successfully used in intermediate: temperature fuel cell applications. Among the various hydrofluoride electrolytes, LiF-CaH2 and its composite with Al2O3, i.e., LiF-CaH2-Al2O3, are the most promising candidates which show more advantages than the other hydrofluorides. In this communication, we put our emphasis on the LiF-CaH2-Al2O3 electrolytes and their applications for intermediate temperature fuel cells. Furthermore, new fuel cell processes from hydride ions, H-, and the electrochemical behaviour of LiF-CaH2-Al2O3 electrolytes and fuel cells are discussed in more detail.
|
|
| 4. |
- Ackermann, Yvonne, et al.
(författare)
-
Design of a bioelectrocatalytic electrode interface for oxygen reduction in biofuel cells based on a specifically adapted Os-complex containing redox polymer with entrapped Trametes hirsuta laccase
- 2010
-
Ingår i: Electrochemistry communications. - : Elsevier. - 1388-2481 .- 1873-1902. ; 12:5, s. 640-643
-
Tidskriftsartikel (refereegranskat)abstract
- The design of the coordination shell of an Os-complex and its integration within an electrodeposition polymer enables fast electron transfer between an electrode and a polymer entrapped high-potential laccase from the basidiomycete Trametes hirsuta. The redox potential of the Os3+/2+-centre tethered to the polymer backbone (+720 mV vs. NHE) is perfectly matching the potential of the enzyme (+780 mV vs. NHE at pH 6.5). The laccase and the Os-complex modified anodic electrodeposition polymer were simultaneously precipitated on the surface of a glassy carbon electrode by means of a pH-shift to 2.5. The modified electrode was investigated with respect to biocatalytic oxygen reduction to water. The proposed modified electrode has potential applications as biofuel cell cathode.
|
|
| 5. |
- Aleksejeva, Olga, et al.
(författare)
-
Electrochemistry of a high redox potential laccase obtained by computer-guided mutagenesis combined with directed evolution
- 2019
-
Ingår i: Electrochemistry communications. - : Elsevier. - 1388-2481 .- 1873-1902. ; 106
-
Tidskriftsartikel (refereegranskat)abstract
- Electrochemical characterization of the GreeDo variant of a high redox potential fungal laccase obtained by laboratory evolution together with computer-guided mutagenesis, in comparison to its parental variety (the OB-1 mutant), is presented. Both laccases, when immobilized on graphite electrodes either by direct physical adsorption or covalently attached via gold nanoparticles, were capable of both non-mediated and mediator-based bioelectroreduction of molecular oxygen at low overpotentials. GreeDo exhibited higher open circuit potential values and onset potentials for oxygen bioelectroreduction compared to OB-1. However, even though in homogeneous catalysis GreeDo outperforms OB-1 in terms of turnover numbers and catalytic efficiency, when exposed to high redox potential substrates, direct electron transfer based bioelectrocatalytic currents of GreeDo and OB-1 modified electrodes were similar. High operational stability of freely diffusing GreeDo and also the immobilized enzyme in the acidic electrolyte was registered, in agreement with high storage stability of GreeDo in acidic solutions.
|
|
| 6. |
- Beni, Valerio, et al.
(författare)
-
Electrochemical properties of polymeric nanopatterned electrodes
- 2007
-
Ingår i: Electrochemistry communications. - : Elsevier. - 1388-2481 .- 1873-1902. ; 9:7, s. 1833-1839
-
Tidskriftsartikel (refereegranskat)abstract
- An investigation of the electrochemical behaviour of gold electrodes coated with poly(ethylene glycol) (PEG), poly(acrylic acid)(PAA) and nanopatterned PAA/PEG layers is presented. Plasma-enhanced chemical vapour deposition and colloidal lithography wereused to produce nanodomes of PAA in a matrix of PEG. The electrochemical response at these nanostructured electrodes was studied asa function of the probe ion charge. Results show that the film structures allow the electrodes to retain their electrochemical activity whileminimising surface fouling and will thus be useful in the development of electrochemical nanobiosensors for various applications.
|
|
| 7. |
- Beni, Valerio, et al.
(författare)
-
Study of the combination of the deposition/stripping of sacrificial metal nano-structures and alkanethiol as a route for genosensor surface preparation
- 2011
-
Ingår i: Electrochemistry communications. - : Elsevier. - 1388-2481 .- 1873-1902. ; 13:4, s. 325-327
-
Tidskriftsartikel (refereegranskat)abstract
- In the reported work the combination of electrodeposition/stripping of copper sacrificial metallic nanostructuresand alkanethiol self-assembling was investigated for the preparation of a randomly nano-patternedorganised monolayer on a gold surface. Electrochemical characterisation of the process demonstrated thepotential of the proposed approach for the random nano-patterning of a chemisorbed monolayer onconductive surfaces with minimal impact on the bulk monolayer. Finally the obtained nano-structuredsurfaces were exploited as a platform for the fabrication of an amperometric genosensor for the detection ofthe DF508 Cystic Fibrosis associated mutation.
|
|
| 8. |
|
|
| 9. |
- Björnbom, Pehr
(författare)
-
Charge/discharge of an electrochemical supercapacitor electrode pore; non-uniqueness of mathematical models
- 2007
-
Ingår i: Electrochemistry communications. - : Elsevier BV. - 1388-2481 .- 1873-1902. ; 9:2, s. 211-215
-
Tidskriftsartikel (refereegranskat)abstract
- A thermodynamic analysis has been done to enhance understanding of the relation between various mathematical models for electrochemical supercapacitor pores. For the same capacitive charge/discharge experiment a variety of one-dimensional mathematical model equations concerning the transport of ions and double layer charge/discharge along the pore are shown to be indistinguishable. Some of those indistinguishable equations could be interpreted as derived from diffusional mechanisms while others appear as derived from migrational mechanisms. Ohmic resistivities and diffusivities obtained in such case are not contradicting results but characterize identical physical processes. The results are valid as long as the assumptions of irreversible thermodynamics of local equilibrium along the pore and of linearization of the flux equations hold.
|
|
| 10. |
- Burton, Matthew R., et al.
(författare)
-
Electrochemically copper-doped bismuth tellurium selenide thin films
- 2018
-
Ingår i: Electrochemistry communications. - : ELSEVIER SCIENCE INC. - 1388-2481 .- 1873-1902. ; 97, s. 56-59
-
Tidskriftsartikel (refereegranskat)abstract
- We report the first results of a study on electrochemically doped copper bismuth tellurium selenide thin films electrodeposited from aqueous nitric acid electrolytes containing up to 2 mM of Cu(NO3)(2). The effect of Cu (NO3)(2) concentration on the composition, structure and thermoelectric properties of the bismuth tellurium selenide films is investigated by scanning electron microscopy, energy-dispersive X-ray spectroscopy, X-ray diffraction and Seebeck and Hall effect measurements. A Cu(NO3)(2) concentration of 1.5 mM is found to offer a Seebeck coefficient of up to -390 mu V K-1 at room temperature, which is the highest reported to date for an electrodeposited bismuth tellurium compound.
|
|
