Vote for your favorite mineral in #MinCup25! - Paddlewheelite vs. Mannardite
It's a battle of the tiny as bright green #paddlewheelite goes up against jet black #mannardite. Both are small yet mighty minerals, but only one can win!
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

Kushik, N. G., Evtushenko, N. V., Torgaev, S. N. (2015) Mutation Testing for Effective Verification of Digital Components of Physical Systems. Russian Physics Journal, 58 (8). 1128-1133 doi:10.1007/s11182-015-0622-6

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleMutation Testing for Effective Verification of Digital Components of Physical Systems
JournalRussian Physics Journal
AuthorsKushik, N. G.Author
Evtushenko, N. V.Author
Torgaev, S. N.Author
Year2015 (December)Volume58
Issue8
PublisherSpringer Science and Business Media LLC
DOIdoi:10.1007/s11182-015-0622-6Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID9036620Long-form Identifiermindat:1:5:9036620:2
GUID0
Full ReferenceKushik, N. G., Evtushenko, N. V., Torgaev, S. N. (2015) Mutation Testing for Effective Verification of Digital Components of Physical Systems. Russian Physics Journal, 58 (8). 1128-1133 doi:10.1007/s11182-015-0622-6
Plain TextKushik, N. G., Evtushenko, N. V., Torgaev, S. N. (2015) Mutation Testing for Effective Verification of Digital Components of Physical Systems. Russian Physics Journal, 58 (8). 1128-1133 doi:10.1007/s11182-015-0622-6
In(2015, December) Russian Physics Journal Vol. 58 (8) Springer Science and Business Media LLC

See Also

These are possibly similar items as determined by title/reference text matching only.

Kushik, N. G., López, J. E., Yevtushenko, N. V. (2016) Investigation of Correlation of Test Sequences for Reliability Testing of Digital Physical System Components. Russian Physics Journal, 59 (8). 1274-1280 doi:10.1007/s11182-016-0902-9
Kushik, N. G., Popov, A. S., Trigub, M. V., Evtushenko, N. V. (2014) Simulation of the Process of High-Temperature Combustion Based on Cellular Automata. Russian Physics Journal, 57 (6). 838-846 doi:10.1007/s11182-014-0312-9
Evtushenko, N. V., Kushik, N. G. (2013) Setting a Complex System to a Known Initial State. Russian Physics Journal, 55 (12). 1500-1501 doi:10.1007/s11182-013-9986-7
Evtushenko, G. S., Fedorov, V. F., Shiyanov, D. V., Fedorov, K. V., Torgaev, S. N., Kulagin, A. E. (2016) Low Current Discharge Copper Vapor Laser. Russian Physics Journal, 58 (9). 1278-1283 doi:10.1007/s11182-016-0643-9
Gromov, M. L., Evtushenko, N. V. (2016) To Simplification of Timed Automata During Synchronization of Components of Physical Systems. Russian Physics Journal, 58 (11). 1645-1647 doi:10.1007/s11182-016-0695-x
Kulagin, A. E., Torgaev, S. N., Evtushenko, G. S., Trigub, M. V. (2018) Kinetics of the Active Medium of a Copper Vapor Brightness Amplifier. Russian Physics Journal, 60 (11). 1987-1992 doi:10.1007/s11182-018-1312-y
Torgaev, S. N., Boichenko, A. M., Evtushenko, G. S., Shiyanov, D. V. (2013) Simulation of a CuBr–Ne–HBr laser with high pump pulse repetition frequencies. Russian Physics Journal, 55 (9). 1039-1045 doi:10.1007/s11182-013-9919-5
Laputenko, A. V., López, J. E., Yevtushenko, N. V. (2018) Verifying Digital Components of Physical Systems: Experimental Evaluation of Test Quality. Russian Physics Journal, 60 (11). 2012-2018 doi:10.1007/s11182-018-1317-6
Torgaev, S. N., Gubarev, F. A., Boichenko, A. M., Evtushenko, G. S., Zhdaneev, O. V. (2011) Reduction of copper bromide molecules in the plasma of a CuBr laser during the interpulse period. Russian Physics Journal, 54 (2). 221-225 doi:10.1007/s11182-011-9600-9
Alekseev, S. V., Ivanov, M. V., Ivanov, N. G., Losev, V. F., Mesyats, G. A., Panchenko, Yu. N., Ratakhin, N. A. (2015) Parameters of the THL-100 Hybrid Femtosecond Laser System After Modernization. Russian Physics Journal, 58 (8). 1087-1092 doi:10.1007/s11182-015-0616-4
Melnikov, V. V., Yurchenko, S. N., Jensen, P., Potekaev, A. I. (2015) Development of a General Approach to the Modeling of Free and Confined Polyatomic Systems. Russian Physics Journal, 58 (8). 1040-1043 doi:10.1007/s11182-015-0608-4
 
and/or  
Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are © OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: September 16, 2025 20:30:01
Go to top of page